metrics: make Counter a genuine Map
authorJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 15:09:53 +0000 (11:09 -0400)
committerJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 15:54:59 +0000 (11:54 -0400)
commite4d0a7dda94a4eafd28cdc252185aaac563a335f
tree639e779ddc93e73036c4e9deb85357db9b8c3223
parentd426c1ad47a80393ce2b669a80edb5659e6fbc74
metrics: make Counter a genuine Map

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