diff options
Diffstat (limited to 'lib/Core/TimingSolver.h')
| -rw-r--r-- | lib/Core/TimingSolver.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Core/TimingSolver.h b/lib/Core/TimingSolver.h index 1287c2f3..b13879df 100644 --- a/lib/Core/TimingSolver.h +++ b/lib/Core/TimingSolver.h @@ -55,7 +55,8 @@ namespace klee { bool mayBeFalse(const ExecutionState&, ref<Expr>, bool &result); - bool getValue(const ExecutionState &, ref<Expr> expr, ref<Expr> &result); + bool getValue(const ExecutionState &, ref<Expr> expr, + ref<ConstantExpr> &result); bool getInitialValues(const ExecutionState&, const std::vector<const Array*> &objects, |