diff --git a/src/goto-programs/show_symbol_table.h b/src/goto-programs/show_symbol_table.h
index a7cc99ec9ba..6e3b387f863 100644
--- a/src/goto-programs/show_symbol_table.h
+++ b/src/goto-programs/show_symbol_table.h
@@ -11,6 +11,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <util/ui_message.h>
 
+class goto_modelt;
+
 void show_symbol_table(
   const goto_modelt &,
   ui_message_handlert::uit ui);