X-Git-Url: http://nitlanguage.org diff --git a/tests/contracts_ensures_4.nit b/tests/contracts_ensures_4.nit index d5cd82d..974d475 100644 --- a/tests/contracts_ensures_4.nit +++ b/tests/contracts_ensures_4.nit @@ -17,7 +17,7 @@ class MyClass fun foo(x: Int): Bool is - ensures(x > 0, result) + ensure(x > 0, result) do return true end @@ -28,7 +28,7 @@ class MySubClass redef fun foo(x: Int) is - ensures(not result) + ensure(not result) do return super end