style: Fix typo

VeriFIT · Jul 20, 2024 · c75a050 · c75a050
1 parent 43b109b
commit c75a050
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nfa/operations.cc b/src/nfa/operations.cc
@@ -36,7 +36,7 @@ namespace {
                 ++it;
             }
             if (unused_symbol == 0) { // sanity check to see if we did not use the full range of mata::Symbol
-                throw std::runtime_error("all symbols are used, we cannot compute simluation reduction");
+                throw std::runtime_error("all symbols are used, we cannot compute simulation reduction");
             }
         }