tests: update some tests related to kernel line-numbering

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/tests/sav/base_covar_int_alt1.res b/tests/sav/base_covar_int_alt1.res
index 3737884..26a6daf 100644 (file)
--- a/tests/sav/base_covar_int_alt1.res
+++ b/tests/sav/base_covar_int_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:455)
+Runtime error: Cast failed (../lib/standard/kernel.nit:433)
 true
 true

diff --git a/tests/sav/base_covar_int_alt3.res b/tests/sav/base_covar_int_alt3.res
index b101a94..15f4701 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:455)
+Runtime error: Cast failed (../lib/standard/kernel.nit:433)
 true
 true
 true