contracts: change the contract syntax
[nit.git] / tests / sav / test_for_abuse.res
index 51ef296..f2856be 100644 (file)
@@ -1 +1,4 @@
 # This file is part of NIT ( http://www.nitlanguage.org ).
+f is closed? false
+f is closed? true
+* ** **** *******