Removed distracting debuging information

romainbrenguier · romainbrenguier · commit c95ad51b91c5 · 2017-01-17T12:58:23.000Z
diff --git a/src/solvers/refinement/string_refinement.cpp b/src/solvers/refinement/string_refinement.cpp
@@ -268,10 +268,7 @@ bvt string_refinementt::convert_bool_bv(const exprt &boole, const exprt &orig)
 void string_refinementt::add_lemma(const exprt &lemma, bool add_to_index_set)
 {
   if(!seen_instances.insert(lemma).second)
-  {
-    debug() << "string_refinementt::add_lemma : already seen" << eom;
     return;
-  }
 
   if(lemma==true_exprt())
   {

Original file line number	Diff line number	Diff line change
`@@ -268,10 +268,7 @@ bvt string_refinementt::convert_bool_bv(const exprt &boole, const exprt &orig)`
`268`	`268`	`void string_refinementt::add_lemma(const exprt &lemma, bool add_to_index_set)`
`269`	`269`	`{`
`270`	`270`	`if(!seen_instances.insert(lemma).second)`
`271`		`- {`
`272`		`- debug() << "string_refinementt::add_lemma : already seen" << eom;`
`273`	`271`	`return;`
`274`		`- }`
`275`	`272`
`276`	`273`	`if(lemma==true_exprt())`
`277`	`274`	`{`