Merge pull request #6312 from diffblue/goto_program_include

remove an include from goto-programs/goto_program.h

Author: kroening

jbmc/src/java_bytecode/java_local_variable_table.cpp

@@ -16,6 +16,7 @@ Author: Chris Smowton, chris.smowton@diffblue.com
 #include <util/arith_tools.h>
 #include <util/invariant.h>
 #include <util/string2int.h>
+#include <util/symbol_table.h>
 
 #include <iostream>
 

jbmc/unit/java-testing-utils/require_goto_statements.cpp

@@ -18,6 +18,7 @@ Author: Diffblue Ltd.
 #include <util/expr_util.h>
 #include <util/pointer_expr.h>
 #include <util/suffix.h>
+#include <util/symbol_table.h>
 
 /// Expand value of a function to include all child codets
 /// \param function_value: The value of the function (e.g. got by looking up