diff options
Diffstat (limited to 'lib/Core/SeedInfo.cpp')
| -rw-r--r-- | lib/Core/SeedInfo.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/SeedInfo.cpp b/lib/Core/SeedInfo.cpp index 62b71e87..f328823b 100644 --- a/lib/Core/SeedInfo.cpp +++ b/lib/Core/SeedInfo.cpp @@ -98,7 +98,7 @@ void SeedInfo::patchSeed(const ExecutionState &state, bool success = solver->mustBeFalse(tmp, isSeed, res); assert(success && "FIXME: Unhandled solver failure"); if (res) { - ref<Expr> value; + ref<ConstantExpr> value; bool success = solver->getValue(tmp, read, value); assert(success && "FIXME: Unhandled solver failure"); it2->second[i] = value->getConstantValue(); @@ -128,7 +128,7 @@ void SeedInfo::patchSeed(const ExecutionState &state, bool success = solver->mustBeFalse(tmp, isSeed, res); assert(success && "FIXME: Unhandled solver failure"); if (res) { - ref<Expr> value; + ref<ConstantExpr> value; bool success = solver->getValue(tmp, read, value); assert(success && "FIXME: Unhandled solver failure"); it->second[i] = value->getConstantValue(); |