std::unique_ptr requires #include <memory>

Author: tautschnig

src/goto-programs/show_symbol_table.cpp

@@ -7,6 +7,7 @@ Author: Daniel Kroening, [email protected]
 \*******************************************************************/
 
 #include <iostream>
+#include <memory>
 
 #include <util/language.h>
 #include <langapi/mode.h>