diff options
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)){ |