From 4a8d9b465c6821b2ed4f544dfcf628616c6d3b5c Mon Sep 17 00:00:00 2001
From: marek-trtik <marek.trtik@diffblue.com>
Date: Fri, 27 Oct 2017 10:47:05 +0100
Subject: [PATCH] Include missing header

irep.h only provides map when SUB_IS_LIST is not set.
---
 src/memory-models/mm2cpp.cpp | 1 +
 1 file changed, 1 insertion(+)

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>