nitc: fix --typing-test-metrics by using correct tags inf FFI
[nit.git] / tests / error_type_not_ok5.nit
2009-07-04 Jean Privatsyntax: add PType::is_typed