Changes between Version 35 and Version 36 of ContractReduction

Timestamp:

12/09/15 13:16:34 (10 years ago)

Author:

zmanchun

Comment:

--

ContractReduction

@@ -192 +192 @@
 
 {{{
-$guard bool-expr
-}}}
-
-If missing, the default is to go the library enabler for the guard.  If the library enabler does not specify a guard, it defaults to `$true`.
+guard bool-expr
+}}}
+
+If missing, the default is to go the library enabler for the guard.  If the library enabler does not specify a guard, it defaults to `true`.
 
 ==  Examples ==