mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
counting function applications #5766
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
4cd818b578
commit
571a74c061
|
@ -132,7 +132,6 @@ protected:
|
|||
}
|
||||
|
||||
void operator()(app * n) {
|
||||
m_stats["function-applications"]++;
|
||||
this->operator()(n->get_decl());
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue