Public methods made public

smowton · Sep 19, 2017 · 65ad3db · 65ad3db
1 parent 2eed573
commit 65ad3db
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/solvers/refinement/string_refinement.h b/src/solvers/refinement/string_refinement.h
@@ -50,13 +50,10 @@ class string_refinementt final: public bv_refinementt
   explicit string_refinementt(const infot &);
 
   virtual std::string decision_procedure_text() const override
-  {
-    return "string refinement loop with "+prop.solver_text();
-  }
+  { return "string refinement loop with "+prop.solver_text(); }
 
   exprt get(const exprt &expr) const override;
-
-protected:
+  void set_to(const exprt &expr, bool value) override;
   decision_proceduret::resultt dec_solve() override;
 
 private:
@@ -102,7 +99,6 @@ class string_refinementt final: public bv_refinementt
                  bool add_to_index_set=true);
 
   bool add_axioms_for_string_assigns(const exprt &lhs, const exprt &rhs);
-  void set_to(const exprt &expr, bool value) override;
 
   void debug_model();