From 071a1447e33e2d9be3e217b10f4aba2648126536 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 23 Oct 2022 11:03:00 -0700
Subject: [PATCH] fix #6418

---
 src/qe/qe_mbi.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/qe/qe_mbi.cpp b/src/qe/qe_mbi.cpp
index 81b7211bf..48a7928be 100644
--- a/src/qe/qe_mbi.cpp
+++ b/src/qe/qe_mbi.cpp
@@ -317,9 +317,9 @@ namespace qe {
                 cache.insert(e, e);
                 continue;
             }
-            f = rewrite.mk_app(to_app(e)->get_decl(), args.size(), args.data());
-            trail.push_back(f);
-            cache.insert(e, f);
+            expr_ref val = rewrite.mk_app(to_app(e)->get_decl(), args.size(), args.data());
+            trail.push_back(val);
+            cache.insert(e, val);
         }
         for (unsigned i = 0; i < lits.size(); ++i) 
             lits[i] = cache[lits.get(i)];