X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/contracts_ensures_2.res b/tests/sav/contracts_ensures_2.res index a778c12..982613a 100644 --- a/tests/sav/contracts_ensures_2.res +++ b/tests/sav/contracts_ensures_2.res @@ -1,4 +1,4 @@ -Runtime error: Assert 'ensures' failed (contracts_ensures_2.nit:31) +Runtime error: Assert 'ensure' failed (contracts_ensures_2.nit:31) Good Good Good