-error_type_not_ok3.nit:20,12--15: Type error: class Fail not found in module error_type_not_ok3.
-error_type_not_ok3.nit:23,18--21: Type error: class Fail not found in module error_type_not_ok3.
+error_type_not_ok3.nit:20,12--15: Error: class `Fail` not found in module `error_type_not_ok3`.
+error_type_not_ok3.nit:23,18--21: Error: class `Fail` not found in module `error_type_not_ok3`.