One small thing forgotten in core commit.

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 7b1f99403887580812d2c1e1037138420c5d1b17..730852d4ac9080d6c7ae05b69dcfa662cc8b12b6 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -1753,8 +1753,11 @@ static void dumpAssertions(const char* key, const AssertionPipeline& assertionLi
 bool SmtEnginePrivate::nonClausalSimplify() {
   d_smt.finalOptionsAreSet();
 
-  TimerStat::CodeTimer nonclausalTimer(d_smt.d_stats->d_nonclausalSimplificationTime);
+  if(options::unsatCores()) {
+    return true;
+  }
 
+  TimerStat::CodeTimer nonclausalTimer(d_smt.d_stats->d_nonclausalSimplificationTime);
 
   Trace("simplify") << "SmtEnginePrivate::nonClausalSimplify()" << endl;