diff options
Diffstat (limited to 'src/utils')
-rw-r--r-- | src/utils/automata/dfa_minimizer.hpp | 2 |
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. |