Removed unused class member

peterschrammel · Daniel Kroening · commit f0b1e365b112 · 2017-08-15T17:07:53.000+01:00
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.h b/src/goto-analyzer/goto_analyzer_parse_options.h
@@ -69,8 +69,6 @@ class goto_analyzer_parse_optionst:
   bool set_properties();
 
   void eval_verbosity();
-
-  bool has_entry_point;
 };
 
 #endif // CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H
