diff options
Diffstat (limited to 'src/api/cvc4cpp.cpp')
-rw-r--r-- | src/api/cvc4cpp.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index 2e6e70d6b..ba42c4a93 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -1141,12 +1141,6 @@ Kind Op::getKind() const return d_kind; } -Sort Op::getSort() const -{ - CVC4_API_CHECK_NOT_NULL; - return Sort(d_expr->getType()); -} - bool Op::isNull() const { return isNullHelper(); } bool Op::isIndexed() const { return isIndexedHelper(); } |