diff options
Diffstat (limited to 'src/theory/quantifiers/sygus_sampler.cpp')
-rw-r--r-- | src/theory/quantifiers/sygus_sampler.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus_sampler.cpp b/src/theory/quantifiers/sygus_sampler.cpp index 10d7ef6ab..834ca1975 100644 --- a/src/theory/quantifiers/sygus_sampler.cpp +++ b/src/theory/quantifiers/sygus_sampler.cpp @@ -813,8 +813,8 @@ void SygusSampler::checkEquivalent(Node bv, Node bvr) if (options::sygusRewVerifyAbort()) { - AlwaysAssert(false, - "--sygus-rr-verify detected unsoundness in the rewriter!"); + AlwaysAssert(false) + << "--sygus-rr-verify detected unsoundness in the rewriter!"; } } } |