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.h | |
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.h')
-rw-r--r-- | src/smt/smt_engine.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index d17dd204b..c3cb54685 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -105,10 +105,6 @@ namespace theory { class TheoryModel; }/* CVC4::theory namespace */ -namespace stats { - StatisticsRegistry* getStatisticsRegistry(SmtEngine*); -}/* CVC4::stats namespace */ - // TODO: SAT layer (esp. CNF- versus non-clausal solvers under the // hood): use a type parameter and have check() delegate, or subclass // SmtEngine and override check()? @@ -356,7 +352,6 @@ class CVC4_PUBLIC SmtEngine { friend class ::CVC4::smt::SmtEnginePrivate; friend class ::CVC4::smt::SmtScope; friend class ::CVC4::smt::BooleanTermConverter; - friend ::CVC4::StatisticsRegistry* ::CVC4::stats::getStatisticsRegistry(SmtEngine*); friend ProofManager* ::CVC4::smt::currentProofManager(); friend class ::CVC4::LogicRequest; // to access d_modelCommands |