diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-31 15:02:39 -0700 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-31 15:02:39 -0700 |
| commit | 2febe2f6f621b4ee5d7f2c05e0eb68fb3858bcd2 (patch) | |
| tree | ad7805ae81446e4b20bc1cc93eb479ff84549c25 /src/smt/smt_engine.i | |
| parent | e9f3b6a54e4bf35f915c46d822ed9ee051cc7df3 (diff) | |
Remove decl. of getStatisticsRegistry(SmtEngine*)
Commit f4ef7af0a2295691f281ee1604dfeb4082fe229c removed the definition
of getStatisticsRegistry(SmtEngine*) but not the declaration.
Diffstat (limited to 'src/smt/smt_engine.i')
| -rw-r--r-- | src/smt/smt_engine.i | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/smt/smt_engine.i b/src/smt/smt_engine.i index 443e4cc58..c054cb666 100644 --- a/src/smt/smt_engine.i +++ b/src/smt/smt_engine.i @@ -45,7 +45,6 @@ SWIGEXPORT void JNICALL Java_edu_nyu_acsys_CVC4_SmtEngine_dlRef(JNIEnv* jenv, jc #endif // SWIGJAVA %ignore CVC4::SmtEngine::setLogic(const char*); -%ignore CVC4::stats::getStatisticsRegistry(SmtEngine*); %ignore CVC4::smt::currentProofManager(); %include "smt/smt_engine.h" |