From 3b52cd5802625263b86a39f7c25defbc32b0fe7d Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 27 Apr 2023 11:28:08 +0200
Subject: [PATCH] Fix comment.

---
 src/mc/explo/DFSExplorer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index cfacee45a3..3a99ca58e1 100644
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -151,7 +151,7 @@ void DFSExplorer::run()
 #endif
 
     // Search for the next transition
-    // next_transition returns a pair<aid_t, double> in case we want to consider multiple state (eg. during backtrack)
+    // next_transition returns a pair<aid_t, int> in case we want to consider multiple state (eg. during backtrack)
     auto [next, _] = state->next_transition_guided();
 
     if (next < 0) { // If there is no more transition in the current state, backtrack.
-- 
2.20.1