From 46cc54fbabb3e44dce8da329270d7109ba90d1e6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 3 Apr 2022 07:55:51 -0700
Subject: [PATCH] outdated warning

---
 src/tactic/tactical.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp
index fa9382b8c..9167650ad 100644
--- a/src/tactic/tactical.cpp
+++ b/src/tactic/tactical.cpp
@@ -1022,7 +1022,6 @@ public:
     void operator()(goal_ref const & in, goal_ref_buffer& result) override {
         cancel_eh<reslimit> eh(in->m().limit());
         { 
-            // Warning: scoped_timer is not thread safe in Linux.
             scoped_timer timer(m_timeout, &eh);
             m_t->operator()(in, result);            
         }