Merge pull request #146 from tautschnig/missing-include

Daniel Kroening · web-flow · commit 29dbae6b20c0 · 2016-06-24T11:59:41.000+01:00
std::unique_ptr requires #include &lt;memory&gt;
diff --git a/src/goto-programs/show_symbol_table.cpp b/src/goto-programs/show_symbol_table.cpp
@@ -7,6 +7,7 @@ Author: Daniel Kroening, kroening@kroening.com
 \*******************************************************************/
 
 #include <iostream>
+#include <memory>
 
 #include <util/language.h>
 #include <langapi/mode.h>
