diff options
-rw-r--r-- | src/theory/strings/theory_strings.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 412cc727d..c035fe7e4 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -4008,7 +4008,8 @@ Node TheoryStrings::normalizeRegexp(Node r) { if(d_normal_forms.find( r[0] ) != d_normal_forms.end()) { nf_r = mkConcat( d_normal_forms[r[0]] ); Debug("regexp-nf") << "Term: " << r[0] << " has a normal form " << nf_r << std::endl; - nf_exp.insert(nf_exp.end(), d_normal_forms_exp[r[0]].begin(), d_normal_forms_exp[r[0]].end()); + const std::vector<Node>& r0_exp = d_normal_forms_exp[r[0]]; + nf_exp.insert(nf_exp.end(), r0_exp.begin(), r0_exp.end()); nf_r = Rewriter::rewrite( NodeManager::currentNM()->mkNode(kind::STRING_TO_REGEXP, nf_r) ); } } |