From d6469e188b954cce2dcb0e88ccb941dfaa330a8a Mon Sep 17 00:00:00 2001
From: Lukas Holik <kiloh.sakul@gmail.com>
Date: Thu, 28 Sep 2023 19:24:14 +0200
Subject: [PATCH] do not use ranges on masox at git?

---
 src/nfa/nfa.cc | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc
index 26028502b..2b79379eb 100644
--- a/src/nfa/nfa.cc
+++ b/src/nfa/nfa.cc
@@ -18,9 +18,7 @@
 #include <algorithm>
 #include <list>
 #include <optional>
-#include <unordered_set>
 #include <iterator>
-#include <ranges>
 
 // MATA headers
 #include "mata/utils/sparse-set.hh"
@@ -330,10 +328,10 @@ BoolVector Nfa::get_useful_states(bool stop_at_first_useful_state) const {
                 // propagate usefulness to the closed SCC
                 for(const State& st : scc) useful[st] = true;
                 // propagate usefulness to predecessors in @p tarjan_stack
-                for(const State& st :std::views::reverse(tarjan_stack)) {
-                    if (useful[st])
+                for (auto st = tarjan_stack.rbegin(); st != tarjan_stack.rend(); ++st) {
+                    if (useful[*st])
                         break;
-                    useful[st] = true;
+                    useful[*st] = true;
                 }
             }
         }