Include missing header

marek-trtik · tautschnig · commit 4a8d9b465c68 · 2018-04-03T14:37:41.000+01:00
irep.h only provides map when SUB_IS_LIST is not set.
diff --git a/src/memory-models/mm2cpp.cpp b/src/memory-models/mm2cpp.cpp
@@ -8,6 +8,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include "mm2cpp.h"
 
+#include <map>
 #include <ostream>
 
 #include <util/std_code.h>
