From 4669bb1ab2fce322cd8e3e172e57f0aa3006e1d7 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 4 Nov 2021 18:16:12 -0700 Subject: Eliminate `Warning` macro in favor of `EnvObj::warning` (#7575) This PR eliminates almost all usages of the Warning macro, replacing it mostly by calling EnvObj::warning. --- src/preprocessing/passes/miplib_trick.cpp | 4 ---- src/preprocessing/passes/sep_skolem_emp.cpp | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) (limited to 'src/preprocessing') diff --git a/src/preprocessing/passes/miplib_trick.cpp b/src/preprocessing/passes/miplib_trick.cpp index 61be4395b..59f046262 100644 --- a/src/preprocessing/passes/miplib_trick.cpp +++ b/src/preprocessing/passes/miplib_trick.cpp @@ -586,10 +586,6 @@ PreprocessingPassResult MipLibTrick::applyInternal( Node newAssertion = var.eqNode(rewrite(sum)); if (top_level_substs.hasSubstitution(newAssertion[0])) { - // Warning() << "RE-SUBSTITUTION " << newAssertion[0] << endl; - // Warning() << "REPLACE " << newAssertion[1] << endl; - // Warning() << "ORIG " << - // top_level_substs.getSubstitution(newAssertion[0]) << endl; Assert(top_level_substs.getSubstitution(newAssertion[0]) == newAssertion[1]); } diff --git a/src/preprocessing/passes/sep_skolem_emp.cpp b/src/preprocessing/passes/sep_skolem_emp.cpp index dd85bec69..5d3a1112e 100644 --- a/src/preprocessing/passes/sep_skolem_emp.cpp +++ b/src/preprocessing/passes/sep_skolem_emp.cpp @@ -111,7 +111,7 @@ PreprocessingPassResult SepSkolemEmp::applyInternal( TypeNode locType, dataType; if (!d_preprocContext->getTheoryEngine()->getSepHeapTypes(locType, dataType)) { - Warning() << "SepSkolemEmp::applyInternal: failed to get separation logic " + warning() << "SepSkolemEmp::applyInternal: failed to get separation logic " "heap types during preprocessing" << std::endl; return PreprocessingPassResult::NO_CONFLICT; -- cgit v1.2.3