X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/contracts_generic_type.res b/tests/sav/contracts_generic_type.res index 656a320..6d36851 100644 --- a/tests/sav/contracts_generic_type.res +++ b/tests/sav/contracts_generic_type.res @@ -1 +1 @@ -Runtime error: Assert 'expects' failed (contracts_generic_type.nit:33) +Runtime error: Assert 'expect(x.length != 0)' failed (contracts_generic_type.nit:33)