diff options
author | Tim King <taking@cs.nyu.edu> | 2012-11-25 00:49:25 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-11-25 00:49:25 +0000 |
commit | 493129f815d0e45ee72ffb782632d98fc25fe2f1 (patch) | |
tree | 38000a036fe89b5f50bf907586608298863b6b35 /src/theory/arith/constraint.h | |
parent | e0cf8fd2f61a34b65a0baf3585fd2bfdd0165b2b (diff) |
This commit fixes two incompleteness bugs (461, 459) introduced in r4611 dues to a problem of not correctly handling disequalities. Performance implications are uncertain.
Diffstat (limited to 'src/theory/arith/constraint.h')
-rw-r--r-- | src/theory/arith/constraint.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/arith/constraint.h b/src/theory/arith/constraint.h index 8bf5447e3..331fd2bcb 100644 --- a/src/theory/arith/constraint.h +++ b/src/theory/arith/constraint.h @@ -845,7 +845,6 @@ public: * Returns a constraint of the given type for the value and variable * for the given ValueCollection, vc. * This is made if there is no such constraint. - * Weirdly enough vc may be altered despite this signature! */ Constraint ensureConstraint(ValueCollection& vc, ConstraintType t){ if(vc.hasConstraintOfType(t)){ |