added optional semis to section about conditionals
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Mon, 19 Feb 2007 17:47:25 +0000 (17:47 +0000)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Mon, 19 Feb 2007 17:47:25 +0000 (17:47 +0000)
report/exps.verb

index 38698c1..c26fc2b 100644 (file)
@@ -497,7 +497,7 @@ that does not occur free in "e".
 \label{conditionals}\index{conditional expression}
 %
 @@@
-exp    ->  @if@ exp_1 @then@ exp_2 @else@ exp_3
+exp ->  @if@ exp [@;@] @then@ exp [@;@] @else@ exp
 @@@
 \indexsyn{exp}%