diff options
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.cpp')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 3f7c442e..9f5a2347 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -386,7 +386,7 @@ void SpecialFunctionHandler::handlePreferCex(ExecutionState &state, ref<Expr> cond = arguments[1]; if (cond.getWidth() != Expr::Bool) - cond = NeExpr::create(cond, ref<Expr>(0, cond.getWidth())); + cond = NeExpr::create(cond, ConstantExpr::alloc(0, cond.getWidth())); Executor::ExactResolutionList rl; executor.resolveExact(state, arguments[0], rl, "prefex_cex"); |