diff options
Diffstat (limited to 'src/api/cvc4cpp.cpp')
-rw-r--r-- | src/api/cvc4cpp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index 49974d30d..621e3c1c0 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -2473,7 +2473,7 @@ Term DatatypeConstructor::getSpecializedConstructorTerm(Sort retSort) const << "Cannot get specialized constructor type for non-datatype type " << retSort; CVC4_API_SOLVER_TRY_CATCH_BEGIN; - + NodeManager* nm = d_solver->getNodeManager(); Node ret = nm->mkNode(kind::APPLY_TYPE_ASCRIPTION, |