diff options
Diffstat (limited to 'src/api/cvc4cpp.cpp')
| -rw-r--r-- | src/api/cvc4cpp.cpp | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index 5d1f853e0..9d56bb88a 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -3003,15 +3003,6 @@ Sort Solver::declareDatatype( } /** - * ( declare-fun <symbol> () <sort> ) - */ -Term Solver::declareFun(const std::string& symbol, Sort sort) const -{ - Type type = *sort.d_type; - return d_exprMgr->mkVar(symbol, type); -} - -/** * ( declare-fun <symbol> ( <sort>* ) <sort> ) */ Term Solver::declareFun(const std::string& symbol, |