diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index fb8b78759..c82b7ca2c 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -495,7 +495,7 @@ public: Assert(options::abstractValues()); Node& val = d_abstractValues[n]; if(val.isNull()) { - val = d_smt.d_nodeManager->mkConst(AbstractValue(d_abstractValues.size())); + val = d_smt.d_nodeManager->mkAbstractValue(n.getType()); d_abstractValueMap.addSubstitution(val, n); } return val; |