diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-22 15:15:43 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-22 15:39:46 +0100 |
| commit | 91ba464409894c0215e54f086722309b9634d6f2 (patch) | |
| tree | 9dd9364ab5a64716992055a3c22f2e2ad5400949 /src/utils/automata | |
| parent | d7d81aa3ed9fedd5e78d6e5aedb43b124427914f (diff) | |
| download | justbuild-91ba464409894c0215e54f086722309b9634d6f2.tar.gz | |
cleanup: Fix typos in code line comments and logging messages
Diffstat (limited to 'src/utils/automata')
| -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 |