From 147fb0d9c16beb0a8c8dc31dc32d70c3216ccab2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 30 Nov 2022 21:41:44 -0800
Subject: [PATCH] fix tptp5 build

---
 examples/tptp/tptp5.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/tptp/tptp5.cpp b/examples/tptp/tptp5.cpp
index 04b225caf90..1355cffa8bb 100644
--- 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;