From 2b94aa6299603b7126e31bd2bf6b49f2ea5dbd1a Mon Sep 17 00:00:00 2001
From: Maurice Laveaux <2884328+mlaveaux@users.noreply.github.com>
Date: Fri, 8 Mar 2024 08:48:25 +0000
Subject: [PATCH] Fixed the namespace in the tools.

---
 tools/release/pbessolvesymbolic/pbessolvesymbolic.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/release/pbessolvesymbolic/pbessolvesymbolic.cpp b/tools/release/pbessolvesymbolic/pbessolvesymbolic.cpp
index 052e791548..197a48d49e 100644
--- 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