fix tptp5 build

Z3Prover · Dec 1, 2022 · 147fb0d · 147fb0d
1 parent 30c9cda
commit 147fb0d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/tptp/tptp5.cpp b/examples/tptp/tptp5.cpp
@@ -2313,7 +2313,8 @@ static void display_smt2(std::ostream& out) {
     for (size_t i = 0; i < asms.size(); ++i) {
         z3::expr fml = asms[i];
         if (fml.is_and()) {
-            asms.set(i, fml.arg(0));
+            z3::expr arg0 = fml.arg(0);
+            asms.set(i, arg0);
             for (unsigned j = 1; j < fml.num_args(); ++j)
                 asms.push_back(fml.arg(j));
             --i;