From 272fbfeb742d9216ee52aa10d5d64ee8ab098f6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Thu, 16 Jan 2020 19:35:05 +0100
Subject: [PATCH] ExprEngine; Fix Z3 usage for floats

---
 lib/exprengine.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/exprengine.cpp b/lib/exprengine.cpp
index 1291bef41..0a6cfffe8 100644
--- a/lib/exprengine.cpp
+++ b/lib/exprengine.cpp
@@ -602,7 +602,7 @@ struct ExprData {
 #ifdef NEW_Z3
         z3::expr e = context.fpa_const(name.c_str(), 11, 53);
 #else
-        z3::expr e = context.real_val(name.c_str());
+        z3::expr e = context.real_const(name.c_str());
 #endif
         valueExpr.emplace(name, e);
         return e;