Changeset 10650 for trunk/HasCASL/test/Items.hascasl

Timestamp:

04.09.2008 13:13:05 (19 months ago)

Author:

maeder

Message:

require kind in GEN-VAR-DECL #579

Files:

• trunk/HasCASL/test/Items.hascasl (modified) (1 diff)

trunk/HasCASL/test/Items.hascasl

@@ -7 +7 @@
 type WNet={(sys,i,o): T * T * T . i = o }
 var a+ : Type
-var -
-var []+
+var - : Type
+var []+ : Type
 op a:? b
 op a: ? b