From 827f05a53cb831bd54166ee812752ae3cce2b69b Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Mon, 16 Dec 2024 13:38:09 +0100 Subject: Fix struct member initialization --- src/utils/automata/dfa_minimizer.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/utils') 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 symbols; - states_t states; + states_t states{}; }; // Key used for state pairs. Reordering names will result in the same key. -- cgit v1.2.3