projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Initial Skeletons
[satune.git]
/
src
/
constraint.cc
diff --git
a/src/constraint.cc
b/src/constraint.cc
index 74d01afdd29a3daae22d1da9c528266c08a00830..7d210d1d4c16ee96d7ac17cdbf6d7b696aefaf89 100644
(file)
--- a/
src/constraint.cc
+++ b/
src/constraint.cc
@@
-220,7
+220,7
@@
Constraint * generateLTConstraint(uint numvars, Constraint ** vars, uint value)
}
andarray[andi++]=new Constraint(OR, ori, orarray);
- value=value+(1<<(__builtin_ctz(value))); //flip the last one
+ value=value+(1<<(__builtin_ctz(value)));
//flip the last one
}
}