Fixed the namespace in the tools.

mCRL2org · Mar 8, 2024 · b19d9bc · b19d9bc
1 parent 2275028
commit b19d9bc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/release/pbessolvesymbolic/pbessolvesymbolic.cpp b/tools/release/pbessolvesymbolic/pbessolvesymbolic.cpp
@@ -48,7 +48,7 @@ class pbesreach_algorithm_partial : public pbes_system::pbesreach_algorithm
     if (time_solving * 10 < (time_solving + time_exploring) || m_options.aggressive)
     {
       mCRL2log(log::verbose) << "start partial solving\n";
-      stopwatch timer;
+      mcrl2::utilities::stopwatch timer;
 
       // Store the set of won states to keep track of whether new states have been solved.
       std::array<sylvan::ldds::ldd, 2> Vwon = m_Vwon;
@@ -127,7 +127,7 @@ class pbesreach_algorithm_partial : public pbes_system::pbesreach_algorithm
 
   double time_solving = 0.0;
   double time_exploring = 0.0;
-  stopwatch explore_timer;
+  mcrl2::utilities::stopwatch explore_timer;
 };
 
 } // namespace mcrl2::pbes_system