From 5b6551c529506592da7c66e39a911d9299944eb8 Mon Sep 17 00:00:00 2001 From: Tim King Date: Tue, 31 Oct 2017 14:39:45 -0700 Subject: [PATCH] CID 1459592: Always checking whether rd is null or not. (#1299) --- src/theory/quantifiers/inst_strategy_enumerative.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/quantifiers/inst_strategy_enumerative.cpp b/src/theory/quantifiers/inst_strategy_enumerative.cpp index 8b825d50d..67930ce2b 100644 --- a/src/theory/quantifiers/inst_strategy_enumerative.cpp +++ b/src/theory/quantifiers/inst_strategy_enumerative.cpp @@ -135,7 +135,7 @@ bool InstStrategyEnum::process(Node f, bool fullEffort) Trace("inst-alg") << "-> Ground term instantiate " << f << "..." << std::endl; } - Assert(rd != NULL); + AlwaysAssert(rd); Trace("inst-alg-debug") << "Compute relevant domain..." << std::endl; rd->compute(); Trace("inst-alg-debug") << "...finished" << std::endl; -- 2.30.2