X-Git-Url: http://nitlanguage.org diff --git a/tests/sav/contracts_ensures_1.res b/tests/sav/contracts_ensures_1.res index 99f2817..c947107 100644 --- a/tests/sav/contracts_ensures_1.res +++ b/tests/sav/contracts_ensures_1.res @@ -1,3 +1,3 @@ -Runtime error: Assert 'ensures' failed (contracts_ensures_1.nit:20) +Runtime error: Assert 'ensure' failed (contracts_ensures_1.nit:20) Good Fail