walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Fixed compiler error

This commit is contained in:
Daniel Marjamäki 2020-12-22 08:17:14 +01:00
parent f6447cc546
commit fcb496fb40
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/exprengine.cpp
View File

@ -1146,7 +1146,7 @@ public:
} }
z3::expr addFloat(const std::string &name) { z3::expr addFloat(const std::string &name) {
fpa_const(name); z3::expr e = z3_fp_const(name);
valueExpr.emplace(name, e); valueExpr.emplace(name, e);
return e; return e;
} }
@ -1296,7 +1296,7 @@ public:
#endif #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) #if Z3_VERSION_INT >= GET_VERSION_INT(4,7,1)
return context.int_val(int64_t(value)); return context.int_val(int64_t(value));
#else #else