possible header problem for std::less

Z3Prover · Apr 2, 2015 · d42e3ce · d42e3ce · wintersteiger · Apr 28, 2015
1 parent be70980
commit d42e3ce
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/interp/iz3mgr.h b/src/interp/iz3mgr.h
@@ -23,6 +23,8 @@ Revision History:
 
 #include <assert.h>
 #include <vector>
+#include <functional>
+
 #include "iz3hash.h"
 
 #include"well_sorted.h"