contracts: change the contract syntax

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

diff --git a/tests/sav/base_upcast2_1alt2_alt8.res b/tests/sav/base_upcast2_1alt2_alt8.res
index ab7c7d3..175f8a7 100644 (file)
--- a/tests/sav/base_upcast2_1alt2_alt8.res
+++ b/tests/sav/base_upcast2_1alt2_alt8.res
@@ -1 +1 @@
-alt/base_upcast2_1alt2_alt8.nit:34,22: Type error: expected B[Int], got T
+alt/base_upcast2_1alt2_alt8.nit:34,22: Type Error: expected `B[Int]`, got `T: A[Bool]`.