summaryrefslogtreecommitdiff
path: root/src/utils
diff options
context:
space:
mode:
Diffstat (limited to 'src/utils')
-rw-r--r--src/utils/automata/dfa_minimizer.hpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp
index af0da1c9..c4201c97 100644
--- a/src/utils/automata/dfa_minimizer.hpp
+++ b/src/utils/automata/dfa_minimizer.hpp
@@ -48,7 +48,7 @@ class DFAMinimizer {
// Bucket of states with equal local properties (content and acceptance)
struct Bucket {
std::vector<std::string> symbols;
- states_t states;
+ states_t states{};
};
// Key used for state pairs. Reordering names will result in the same key.