Remove now redundant import

Joel Allred · Joel Allred · commit 9b48bc590b0c · 2019-05-28T17:00:19.000+01:00
diff --git a/jbmc/unit/solvers/strings/string_refinement/dependency_graph.cpp b/jbmc/unit/solvers/strings/string_refinement/dependency_graph.cpp
@@ -11,7 +11,6 @@ Author: Diffblue Ltd.
 
 #include <java_bytecode/java_types.h>
 #include <solvers/strings/string_dependencies.h>
-#include <solvers/strings/string_refinement_util.h>
 #include <util/arith_tools.h>
 #include <util/std_expr.h>
 #include <util/std_types.h>
