Changes between Version 96 and Version 97 of IR

Timestamp:

11/30/15 09:17:42 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -41 +41 @@
 funopts: '[' funopt+ ']' ;
 conclause : 'assigns' expr ';' 
-                 | 'requires' expr ';'
-                 | 'ensures' expr ';'
-                 ...
-                 ;
+          | 'requires' expr ';'
+          | 'ensures' expr ';'
+          ...
+          ;
 }}}