sepcomp: fix potential tagging issue in `is_same_type_test`
[nit.git] / tests / sav / base_error_class_kind_alt10.res
2015-04-15 Jean Privattests: update sav with new error messages
2014-06-02 Jean Privattests: add base_error_class_kind