cleanup header

Daniel Kroening · Daniel Kroening · commit ec102b8ad9bf · 2017-09-16T12:07:35.000+01:00
diff --git a/src/symex/symex_parse_options.h b/src/symex/symex_parse_options.h
@@ -17,7 +17,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <goto-programs/goto_model.h>
 #include <goto-programs/show_goto_functions.h>
-#include <goto-programs/rebuild_goto_start_function.h>
 
 #include <analyses/goto_check.h>
 
