sepcomp: fix potential tagging issue in `is_same_type_test`
[nit.git] / lib / core / math.nit
2015-08-27 Jean Privatlib: rename `standard` as `core`