X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/contracts_ensures_sequence.res b/tests/sav/contracts_ensures_sequence.res index e462610..3cdcc71 100644 --- a/tests/sav/contracts_ensures_sequence.res +++ b/tests/sav/contracts_ensures_sequence.res @@ -1 +1 @@ -Runtime error: Assert 'ensures' failed (contracts_ensures_sequence.nit:18) +Runtime error: Assert 'ensure' failed (contracts_ensures_sequence.nit:18)