projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9f3b6a) | patch
Remove decl. of getStatisticsRegistry(SmtEngine*)
authorAndres Notzli <andres.noetzli@gmail.com>
Fri, 31 Mar 2017 22:02:39 +0000 (15:02 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Fri, 31 Mar 2017 22:02:39 +0000 (15:02 -0700)
commit2febe2f6f621b4ee5d7f2c05e0eb68fb3858bcd2
treead7805ae81446e4b20bc1cc93eb479ff84549c25tree
parente9f3b6a54e4bf35f915c46d822ed9ee051cc7df3commit | diff
Remove decl. of getStatisticsRegistry(SmtEngine*)

Commit f4ef7af0a2295691f281ee1604dfeb4082fe229c removed the definition
of getStatisticsRegistry(SmtEngine*) but not the declaration.
src/smt/smt_engine.h diff | blob | history
src/smt/smt_engine.i diff | blob | history