Merge: Contract: Change mpropdef driving

[nit.git] / tests / sav / base_virtual_type_fixed_alt1.res

diff --git a/tests/sav/base_virtual_type_fixed_alt1.res b/tests/sav/base_virtual_type_fixed_alt1.res
index e1f51ca..a3ce5dc 100644 (file)
--- a/tests/sav/base_virtual_type_fixed_alt1.res
+++ b/tests/sav/base_virtual_type_fixed_alt1.res
@@ -1,2 +1,2 @@
-alt/base_virtual_type_fixed_alt1.nit:32,15--25: Redef Error: Wrong type for parameter `v'. found Discrete, expected V1 as in base_virtual_type_fixed_alt1#A#v1.
-alt/base_virtual_type_fixed_alt1.nit:32,29--36: Redef Error: Wrong return type. found Discrete, expected V1 as in base_virtual_type_fixed_alt1#A#v1.
+alt/base_virtual_type_fixed_alt1.nit:32,15--25: Redef Error: expected `V1` for parameter `v'; got `Discrete`.
+alt/base_virtual_type_fixed_alt1.nit:32,29--36: Redef Error: expected `V1` for return type; got `Discrete`.