reduce has no effect

VeriFIT · Sep 25, 2023 · 0ae38ae · 0ae38ae
1 parent 9e8e4e1
commit 0ae38ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/theory_str_noodler/regex.cpp b/src/smt/theory_str_noodler/regex.cpp
@@ -117,7 +117,7 @@ namespace smt::noodler::regex {
                 body_nfa.final.insert(new_state);
 
                 body_nfa.unify_initial();
-                mata::nfa::reduce(body_nfa);
+                body_nfa = mata::nfa::reduce(body_nfa);
 
                 if (is_high_set) {
                     // if high is set, we repeat body_nfa another high-low times