(#301) fix

OnionGrief · Nov 26, 2023 · 7f474bd · 7f474bd
1 parent accf18f
commit 7f474bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/Objects/src/Regex.cpp b/libs/Objects/src/Regex.cpp
@@ -1047,7 +1047,7 @@ FiniteAutomaton Regex::to_antimirov(iLogTemplate* log) const {
 			} else {
 				deriv_log += out[j][1].to_txt() + "\\\\";
 			}
-			if (out[j][0].to_txt() == state) {
+			if (out[j][0].to_txt(false) == state) {
 				auto n = find(name_states.begin(), name_states.end(), out[j][1].to_txt(false));
 				Symbol s = out[j][2].to_txt(false);
 				transit[s].insert(n - name_states.begin());