X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/contracts_virtual_type.res b/tests/sav/contracts_virtual_type.res index 0cc6a25..616e1d0 100644 --- a/tests/sav/contracts_virtual_type.res +++ b/tests/sav/contracts_virtual_type.res @@ -1 +1 @@ -Runtime error: Assert 'expects' failed (contracts_virtual_type.nit:23) +Runtime error: Assert 'expect' failed (contracts_virtual_type.nit:23)