extra include

Author: polgreen

src/goto-instrument/value_set_fi_fp_removal.cpp

@@ -17,7 +17,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/c_types.h>
 #include <util/expanding_vector.h>
 #include <util/fresh_symbol.h>
-#include <util/irep.h>
+#include <util/dstring.h>
 #include <util/namespace.h>
 #include <util/std_code.h>
 #include <util/union_find.h>