sepcomp: fix potential tagging issue in `is_same_type_test`
[nit.git] / tests / sav / base_primitive_fun.res
1 5
2 5
3 5
4 5
5 5
6 5