Fixup to 13f5f0c

Remove obsolete method declaration

Author: peterschrammel

src/goto-checker/goto_symex_property_decider.h

@@ -37,10 +37,6 @@ class goto_symex_property_decidert
   /// Convert the instances of a property into a goal variable
   void convert_goals();
 
-  /// Prevent the solver to optimize-away the goal variables
-  /// (necessary for incremental solving)
-  void freeze_goal_variables();
-
   /// Add disjunction of negated selected properties to the equation
   void add_constraint_from_goals(
     std::function<bool(const irep_idt &property_id)> select_property);