From 60d07823632a6a9eb98fb88fd5da9eef8f87d062 Mon Sep 17 00:00:00 2001
From: thk123 <thomas@diffblue.com>
Date: Thu, 16 Mar 2017 17:21:18 +0000
Subject: [PATCH] Missing forward declaration

This caused this to not compile if included before whatever brings in
goto_modelt.
---
 src/goto-programs/show_symbol_table.h | 2 ++
 1 file changed, 2 insertions(+)

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);