From 3ca32efd184dab9fb027eab7b9514d00574da5d0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 13 Jul 2019 16:22:06 -0400
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/stopwatch.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/stopwatch.h b/src/util/stopwatch.h
index da1a3deaa..127e9d9c0 100644
--- a/src/util/stopwatch.h
+++ b/src/util/stopwatch.h
@@ -54,7 +54,7 @@ public:
     }
     
     void start() {
-        SASSERT(!m_running);
+        // SASSERT(!m_running);
         DEBUG_CODE(m_running = true;);
         m_start = get();
     }