X-Git-Url: http://nitlanguage.org

diff --git a/tests/sav/base_as_notnull_alt5.sav b/tests/sav/base_as_notnull_alt5.sav
index b246a71..8fd3cb1 100644
--- a/tests/sav/base_as_notnull_alt5.sav
+++ b/tests/sav/base_as_notnull_alt5.sav
@@ -1,3 +1,8 @@
+alt/base_as_notnull_alt5.nit:41,6: Warning: 'as(not null)' on non nullable type.
+alt/base_as_notnull_alt5.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
+alt/base_as_notnull_alt5.nit:43,6: Warning: 'as(not null)' on non nullable type.
+alt/base_as_notnull_alt5.nit:52,6: Warning: 'as(not null)' on non nullable type.
+Runtime error: Cast failed (alt/base_as_notnull_alt5.nit:59)
 1
 2
 3
@@ -8,7 +13,3 @@
 3
 6
 
-Cast failled in base_as_notnull_alt5::Sys::(kernel::Sys::main) (alt/base_as_notnull_alt5.nit:59)
-,---- Stack trace -- - -  -
-| base_as_notnull_alt5::Sys::(kernel::Sys::main) (alt/base_as_notnull_alt5.nit:32)
-`------------------- - -  -