outdated warning

Z3Prover · Apr 3, 2022 · 46cc54f · 46cc54f · nunoplopes · Apr 3, 2022
1 parent 3427215
commit 46cc54f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp
@@ -1022,7 +1022,6 @@ class try_for_tactical : public unary_tactical {
     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);            
         }