missing header

Daniel Kroening · Daniel Kroening · commit 09de035a6380 · 2017-01-04T15:20:31.000Z
diff --git a/src/cegis/control/value/float_helper.cpp b/src/cegis/control/value/float_helper.cpp
@@ -5,6 +5,7 @@
 #include <util/namespace.h>
 #include <util/std_expr.h>
 #include <util/symbol_table.h>
+#include <util/type_eq.h>
 
 #include <cegis/control/value/control_types.h>
 
