From 91ba464409894c0215e54f086722309b9634d6f2 Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Wed, 22 Feb 2023 15:15:43 +0100 Subject: cleanup: Fix typos in code line comments and logging messages --- src/utils/automata/dfa_minimizer.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/utils/automata/dfa_minimizer.hpp') 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 -- cgit v1.2.3