Cleanup unused fields in string refinement

smowton · Jan 26, 2018 · 857fcf9 · 857fcf9
1 parent 51d86f5
commit 857fcf9
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/solvers/refinement/string_refinement.h b/src/solvers/refinement/string_refinement.h
@@ -94,12 +94,8 @@ class string_refinementt final: public bv_refinementt
   union_find_replacet symbol_resolve;
 
   std::vector<equal_exprt> equations;
-  std::list<std::pair<exprt, bool>> non_string_axioms;
 
-  // Map pointers to array symbols
-  std::map<exprt, symbol_exprt> pointer_map;
-
-  void add_lemma(const exprt &lemma, const bool _simplify = true);
+  void add_lemma(const exprt &lemma, bool simplify_lemma = true);
 };
 
 exprt substitute_array_lists(exprt expr, std::size_t string_max_length);