From b9cbd9a46613b2b377f27be1712313b18c6880d8 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 24 Jun 2016 02:29:16 +0000 Subject: [PATCH] std::unique_ptr requires #include --- src/goto-programs/show_symbol_table.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goto-programs/show_symbol_table.cpp b/src/goto-programs/show_symbol_table.cpp index 3843547d2c7..58a40c28be8 100644 --- 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 +#include #include #include