include map for non vs builds

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Apr 15, 2022 · cc36dd1 · cc36dd1
1 parent 3cc9d7f
commit cc36dd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/max_cliques.h b/src/util/max_cliques.h
@@ -21,7 +21,7 @@ Module Name:
 #include "util/vector.h"
 #include "util/uint_set.h"
 #include "util/heap.h"
-
+#include "util/map.h"
 
 template<class T>
 class max_cliques : public T {