contracts: change the contract syntax

[nit.git] / tests / error_formal.nit

diff --git a/tests/error_formal.nit b/tests/error_formal.nit
index 13a16b5..a45a57a 100644 (file)
--- a/tests/error_formal.nit
+++ b/tests/error_formal.nit
@@ -17,3 +17,6 @@
 class A[T]
        var k: T[Int]
 end
+
+var a = new A[Object]
+a.output