Merge pull request #5556 from tautschnig/fix-missing-include

Daniel Kroening · web-flow · commit 9ed3fb7f1870 · 2020-11-11T07:06:41.000Z
Add missing include for std::map
diff --git a/src/util/irep_hash_container.h b/src/util/irep_hash_container.h
@@ -12,6 +12,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #ifndef CPROVER_UTIL_IREP_HASH_CONTAINER_H
 #define CPROVER_UTIL_IREP_HASH_CONTAINER_H
 
+#include <map>
 #include <vector>
 
 #include "irep.h"
