Merge: Contract: Change mpropdef driving

[nit.git] / tests / contracts_inheritance.nit

diff --git a/tests/contracts_inheritance.nit b/tests/contracts_inheritance.nit
index 015d483..12c0694 100644 (file)
--- a/tests/contracts_inheritance.nit
+++ b/tests/contracts_inheritance.nit
@@ -29,7 +29,7 @@ class MyArrayInt
 
        redef fun toto(e)
        is
 
        redef fun toto(e)
        is

-               ensures(e == 12)
+               ensure(e == 12)

        do
                print "toto MyArrayInt"
                super e
        do
                print "toto MyArrayInt"
                super e

@@ -41,7 +41,7 @@ class MyArrayInt2
 
        redef fun toto(e)
        is
 
        redef fun toto(e)
        is

-               ensures(e == 11)
+               ensure(e == 11)

        do
                print "toto MyArrayInt2"
                super e
        do
                print "toto MyArrayInt2"
                super e