diff options
Diffstat (limited to 'src/utils/automata/dfa_minimizer.hpp')
| -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 3a2d56c3..617617e3 100644 --- a/src/utils/automata/dfa_minimizer.hpp +++ b/src/utils/automata/dfa_minimizer.hpp @@ -33,7 +33,7 @@ // they transition for the same symbol to two differently named non-existing // states. This is done for efficiency reasons, as we then can avoid creating an // additional bucket for non-existing states. This is sufficient for our use -// case, as we are only interested in the bisimiulation of states in complete +// case, as we are only interested in the bisimulation of states in complete // graphs. class DFAMinimizer { // Maps symbols to states |