luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compiler problems.

This commit is contained in:
Alan Mishchenko 2014-10-21 20:20:22 -07:00
parent 5bd9edb52d
commit c49f35835b
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/sat/bsat2/Solver.cpp
View File

@ -839,8 +839,8 @@ void Solver::toDimacs(FILE* f, const vec<Lit>& assumps)
// Cannot use removeClauses here because it is not safe
// to deallocate them at this point. Could be improved.
int cnt = 0;
for (int i = 0; i < clauses.size(); i++)
int i, cnt = 0;
for (i = 0; i < clauses.size(); i++)
if (!satisfied(ca[clauses[i]]))
cnt++;
@ -890,7 +890,8 @@ void Solver::relocAll(ClauseAllocator& to)
// All reasons:
//
for (int i = 0; i < trail.size(); i++){
int i;
for (i = 0; i < trail.size(); i++){
Var v = var(trail[i]);
if (reason(v) != CRef_Undef && (ca[reason(v)].reloced() || locked(ca[reason(v)])))