diff options
Diffstat (limited to 'src/utils/automata/dfa_minimizer.hpp')
| -rw-r--r-- | src/utils/automata/dfa_minimizer.hpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp index 5017b635..d536bd8b 100644 --- a/src/utils/automata/dfa_minimizer.hpp +++ b/src/utils/automata/dfa_minimizer.hpp @@ -196,7 +196,6 @@ class DFAMinimizer { } // Mark pair as distinguishable and recursively mark all parents. - // NOLINTNEXTLINE(misc-no-recursion) static void MarkPairValue(gsl::not_null<StatePairValue*> const& data) { data->marked = true; for (auto* parent : data->parents) { |