nitc: fix --typing-test-metrics by using correct tags inf FFI
[nit.git] / tests / base_inheritance.nit
2012-11-20 Jean Privattests: add 3 old uncommitted tests