metrics: add POSet#print_metrics
authorJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 15:41:55 +0000 (11:41 -0400)
committerJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 15:58:43 +0000 (11:58 -0400)
commit0b24d9e974b0651b1ce0e5a7071666f65a7fdcca
tree76ba8e0cde75620f0df8f73d291a4abd5131f40e
parentcc489f8332f8fad54c900bed7300e5f0e8bdf6f6
metrics: add POSet#print_metrics

Signed-off-by: Jean Privat <jean@pryen.org>
src/counter.nit