X-Git-Url: http://nitlanguage.org diff --git a/tests/contracts_ensures_3.nit b/tests/contracts_ensures_3.nit index 5557ef2..bc3e8f3 100644 --- a/tests/contracts_ensures_3.nit +++ b/tests/contracts_ensures_3.nit @@ -17,7 +17,7 @@ class MyClass fun foo(x: Int): Int is - ensures(result > 0) + ensure(result > 0) do return x end