diff options
Diffstat (limited to 'src/utils/automata')
| -rw-r--r-- | src/utils/automata/dfa_minimizer.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp index 93acb83e..950635ac 100644 --- a/src/utils/automata/dfa_minimizer.hpp +++ b/src/utils/automata/dfa_minimizer.hpp @@ -15,6 +15,7 @@ #ifndef INCLUDED_SRC_UTILS_AUTOMATA_DFA_MINIMIZER_HPP #define INCLUDED_SRC_UTILS_AUTOMATA_DFA_MINIMIZER_HPP +#include <cstddef> #include <map> #include <regex> #include <string> |