fn

VeriFIT · Sep 28, 2023 · 81f3b67 · 81f3b67
1 parent 44b2fd7
commit 81f3b67
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/nfa/nfa.cc b/src/nfa/nfa.cc
@@ -163,8 +163,7 @@ namespace {
         TarjanNodeData() = default;
 
         TarjanNodeData(State q, const Delta & delta, unsigned long index)
-            : current_move(delta[q].moves().begin()), end_move(delta[q].moves().end()), index(index), lowlink(index), initilized(true), on_stack(true) {
-        };
+            : current_move(delta[q].moves().begin()), end_move(delta[q].moves().end()), index(index), lowlink(index), initilized(true), on_stack(true) {};
     };
 };