diff options
Diffstat (limited to 'src/preprocessing/passes/unconstrained_simplifier.cpp')
-rw-r--r-- | src/preprocessing/passes/unconstrained_simplifier.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/unconstrained_simplifier.cpp b/src/preprocessing/passes/unconstrained_simplifier.cpp index 93e30ecd2..0d4804310 100644 --- a/src/preprocessing/passes/unconstrained_simplifier.cpp +++ b/src/preprocessing/passes/unconstrained_simplifier.cpp @@ -855,7 +855,7 @@ PreprocessingPassResult UnconstrainedSimplifier::applyInternal( if (!d_unconstrained.empty()) { processUnconstrained(); - // d_substitutions.print(CVC4Message.getStream()); + // d_substitutions.print(CVC5Message.getStream()); for (size_t i = 0, asize = assertions.size(); i < asize; ++i) { Node a = assertions[i]; |