nitc: fix --typing-test-metrics by using correct tags inf FFI
[nit.git] / tests / nitlight.args
1 -f base_simple3.nit