diff options
Diffstat (limited to 'src/api/cpp')
| -rw-r--r-- | src/api/cpp/cvc5.cpp | 6 | ||||
| -rw-r--r-- | src/api/cpp/cvc5.h | 4 |
2 files changed, 0 insertions, 10 deletions
diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp index 6171c147b..d03b8975e 100644 --- a/src/api/cpp/cvc5.cpp +++ b/src/api/cpp/cvc5.cpp @@ -7906,12 +7906,6 @@ std::vector<Term> Solver::getSynthSolutions( */ SmtEngine* Solver::getSmtEngine(void) const { return d_smtEngine.get(); } -/* - * !!! This is only temporarily available until the parser is fully migrated to - * the new API. !!! - */ -Options& Solver::getOptions(void) { return d_smtEngine->getOptions(); } - Statistics Solver::getStatistics() const { return Statistics(d_smtEngine->getStatisticsRegistry()); diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h index 5abcc578e..11b138a50 100644 --- a/src/api/cpp/cvc5.h +++ b/src/api/cpp/cvc5.h @@ -4333,10 +4333,6 @@ class CVC5_EXPORT Solver // to the new API. !!! SmtEngine* getSmtEngine(void) const; - // !!! This is only temporarily available until options are refactored at - // the driver level. !!! - Options& getOptions(void); - /** * Returns a snapshot of the current state of the statistic values of this * solver. The returned object is completely decoupled from the solver and |