Changes between Version 22 and Version 23 of ContractReduction

Timestamp:

05/01/15 11:52:38 (11 years ago)

Author:

zmanchun

Comment:

--

ContractReduction

@@ -132 +132 @@
 
 {{{
-$guard {<bool-expr>}
+$guard {bool-expr}
 }}}