diff options
Diffstat (limited to 'src/theory/uf/symmetry_breaker.cpp')
| -rw-r--r-- | src/theory/uf/symmetry_breaker.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/uf/symmetry_breaker.cpp b/src/theory/uf/symmetry_breaker.cpp index 9c1d4c2f1..56d0c59cc 100644 --- a/src/theory/uf/symmetry_breaker.cpp +++ b/src/theory/uf/symmetry_breaker.cpp @@ -86,8 +86,7 @@ bool SymmetryBreaker::Template::matchRecursive(TNode t, TNode n) { Debug("ufsymm:match") << "UFSYMM we have constants, failing match" << endl; return false; } - Assert(t.isVar() && - n.isVar()); + Assert(t.isVar() && n.isVar()); t = find(t); n = find(n); Debug("ufsymm:match") << "UFSYMM variable match " << t << " , " << n << endl; @@ -720,7 +719,8 @@ void SymmetryBreaker::selectTerms(const Permutation& p) { Debug("ufsymm:eq") << "UFSYMM -- yep" << endl; } } - Assert(j != teq.end(), "failed to find a difference between p and teq ?!"); + Assert(j != teq.end()) + << "failed to find a difference between p and teq ?!"; } } } else { |