Merge pull request #650 from thk123/bugfix/missing-include

Missing forward declaration

Author: Daniel Kroening

src/goto-programs/show_symbol_table.h

@@ -11,6 +11,8 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/ui_message.h>
 
+class goto_modelt;
+
 void show_symbol_table(
   const goto_modelt &,
   ui_message_handlert::uit ui);