compilation

kroening · kroening · commit 4866c211b7bd · 2012-02-28T09:55:18.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1053 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
@@ -38,9 +38,9 @@ Function: convert
 void convert(const bvt &bv, Minisat::vec<Minisat::Lit> &dest)
 {
   dest.growTo(bv.size());
-  
-  forall_literals(it, bv)
-    dest[it-bv.begin()]=Minisat::mkLit(it->var_no(), it->sign());
+
+  for(unsigned i=0; i<bv.size(); i++)
+    dest[i]=Minisat::mkLit(bv[i].var_no(), bv[i].sign());
 }
 
 /*******************************************************************\

Original file line number	Diff line number	Diff line change
`@@ -38,9 +38,9 @@ Function: convert`
`38`	`38`	`void convert(const bvt &bv, Minisat::vec<Minisat::Lit> &dest)`
`39`	`39`	`{`
`40`	`40`	`dest.growTo(bv.size());`
`41`		`-`
`42`		`- forall_literals(it, bv)`
`43`		`- dest[it-bv.begin()]=Minisat::mkLit(it->var_no(), it->sign());`
	`41`	`+`
	`42`	`+ for(unsigned i=0; i<bv.size(); i++)`
	`43`	`+ dest[i]=Minisat::mkLit(bv[i].var_no(), bv[i].sign());`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	`/*******************************************************************\`