Update TarjanModelChecker.cpp

TAPAAL · Feb 25, 2023 · 594b429 · 594b429
1 parent e76861f
commit 594b429
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/LTL/Algorithm/TarjanModelChecker.cpp b/src/LTL/Algorithm/TarjanModelChecker.cpp
@@ -236,7 +236,7 @@ namespace LTL {
             if(_cstack[p]._lowsource != std::numeric_limits<idx_t>::max() && !had_deadlock)
             {
                 p = _cstack[p]._lowsource;
-                while (_cstack[p]._lowlink != std::numeric_limits<idx_t>::max() && p != cstack[p]._lowsource) {
+                while (_cstack[p]._lowlink != std::numeric_limits<idx_t>::max() && p != _cstack[p]._lowsource) {
                     auto[parent, tid] = _seen.getHistory(_cstack[p]._stateid);
                     this->printTransition(tid, os) << '\n';
                     if(tid >= std::numeric_limits<ptrie::uint>::max() - 1)