Merge pull request #1990 from tautschnig/missing-header

Daniel Kroening · web-flow · commit 988b81841441 · 2018-04-03T15:53:46.000+01:00
[SV-COMP'18 1/19] Include missing header
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>
