Merge: Contract refactoring

[nit.git] / tests / error_formal.nit

diff --git a/tests/error_formal.nit b/tests/error_formal.nit
index b8555d3..a45a57a 100644 (file)
--- a/tests/error_formal.nit
+++ b/tests/error_formal.nit
@@ -15,5 +15,8 @@
 # limitations under the License.
 
 class A[T]
-       var _k: T[Int]
+       var k: T[Int]
 end
+
+var a = new A[Object]
+a.output