fix for wrong refactoring to ranged-for

Daniel Kroening · Daniel Kroening · commit 5df0da698685 · 2017-04-07T12:18:39.000+01:00
diff --git a/src/solvers/qbf/qbf_bdd_core.cpp b/src/solvers/qbf/qbf_bdd_core.cpp
@@ -445,7 +445,7 @@ void qbf_bdd_coret::compress_certificate(void)
       if(model==bdd_manager->bddOne() ||
          model==bdd_manager->bddZero())
       {
-        for(const quantifiert &quantifier2 : quantifier)
+        for(const quantifiert &quantifier2 : quantifiers)
         {
           BDD &model2=*model_bdds[quantifier2.var_no];
 

Original file line number	Diff line number	Diff line change
`@@ -445,7 +445,7 @@ void qbf_bdd_coret::compress_certificate(void)`
`445`	`445`	`if(model==bdd_manager->bddOne() \|\|`
`446`	`446`	`model==bdd_manager->bddZero())`
`447`	`447`	`{`
`448`		`- for(const quantifiert &quantifier2 : quantifier)`
	`448`	`+ for(const quantifiert &quantifier2 : quantifiers)`
`449`	`449`	`{`
`450`	`450`	`BDD &model2=*model_bdds[quantifier2.var_no];`
`451`	`451`