From fcb496fb403868d626749456b9a78f384876ec37 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Tue, 22 Dec 2020 08:17:14 +0100
Subject: [PATCH] Fixed compiler error

---
 lib/exprengine.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/exprengine.cpp b/lib/exprengine.cpp
index d84cd3126..c986d82d6 100644
--- a/lib/exprengine.cpp
+++ b/lib/exprengine.cpp
@@ -1146,7 +1146,7 @@ public:
     }
 
     z3::expr addFloat(const std::string &name) {
-        fpa_const(name);
+        z3::expr e = z3_fp_const(name);
         valueExpr.emplace(name, e);
         return e;
     }
@@ -1296,7 +1296,7 @@ public:
 #endif
     }
 
-    z3::expr z3_int_val(int128_t val) {
+    z3::expr z3_int_val(int128_t value) {
 #if Z3_VERSION_INT >= GET_VERSION_INT(4,7,1)
         return context.int_val(int64_t(value));
 #else