contracts: change the contract syntax

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

diff --git a/tests/sav/base_covar_int_alt3.res b/tests/sav/base_covar_int_alt3.res
index 8316151..699e95e 100644 (file)
--- a/tests/sav/base_covar_int_alt3.res
+++ b/tests/sav/base_covar_int_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:409)
+Runtime error: Cast failed. Expected `OTHER`, got `Int` (alt/base_covar_int_alt3.nit:26)
 true
 true
 true