From bb7aa16223965644a65e7f5f4eaf050fb5ef8058 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Thu, 21 Feb 2019 16:38:48 +0000
Subject: [PATCH] stopwatch: fix debug build crash in sat solver

---
 src/util/stopwatch.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/stopwatch.h b/src/util/stopwatch.h
index 5fe10fb3b..1135c893e 100644
--- a/src/util/stopwatch.h
+++ b/src/util/stopwatch.h
@@ -50,6 +50,7 @@ public:
 
     void reset() {
         m_elapsed = duration_t::zero();
+        DEBUG_CODE(m_running = false;);
     }
     
     void start() {