contracts: change the contract syntax
[nit.git] / tests / sav / error_type_unk_alt5.res
index 0c160fc..d75da82 100644 (file)
@@ -1,4 +1,4 @@
-alt/error_type_unk_alt5.nit:15,9--12: Type error: class Fail not found in module error_type_unk_alt5.
-alt/error_type_unk_alt5.nit:16,11--14: Type error: class Fail not found in module error_type_unk_alt5.
-alt/error_type_unk_alt5.nit:33,15--18: Type error: class Fail not found in module error_type_unk_alt5.
-alt/error_type_unk_alt5.nit:34,17--20: Type error: class Fail not found in module error_type_unk_alt5.
+alt/error_type_unk_alt5.nit:15,9--12: Error: class `Fail` not found in module `error_type_unk_alt5`.
+alt/error_type_unk_alt5.nit:16,11--14: Error: class `Fail` not found in module `error_type_unk_alt5`.
+alt/error_type_unk_alt5.nit:33,15--18: Error: class `Fail` not found in module `error_type_unk_alt5`.
+alt/error_type_unk_alt5.nit:34,17--20: Error: class `Fail` not found in module `error_type_unk_alt5`.