sepcomp: fix potential tagging issue in `is_same_type_test`
[nit.git] / tests / test_phase.args
1 base_simple3.nit
2 --no-color error_syntax3.nit