diff --git a/src/memory-models/mm2cpp.cpp b/src/memory-models/mm2cpp.cpp
index a5be8b35d48..6492d8dae95 100644
--- 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>