std::unique_ptr requires #include <memory>

tautschnig · tautschnig · commit b9cbd9a46613 · 2016-06-24T02:32:44.000Z
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>
