diff --git a/src/smt/seq_regex.cpp b/src/smt/seq_regex.cpp
index 74d011ad0..2293095b9 100644
--- a/src/smt/seq_regex.cpp
+++ b/src/smt/seq_regex.cpp
@@ -459,8 +459,8 @@ namespace smt {
             conds.pop_back();
         }
         else {
-            cond = mk_and(conds);
-            result.push_back(cond, r);
+            expr_ref conj = mk_and(conds);
+            result.push_back(conj, r);
         }
     }