oops for #3853

eclipse-archived · Nov 25, 2014 · be1d37a · be1d37a
1 parent 545cd7e
commit be1d37a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/typechecker/en/modules/expressions.xml b/typechecker/en/modules/expressions.xml
@@ -1511,7 +1511,7 @@ Digit{1,2} ":" Digit{2} ( ":" Digit{2} ( ":" Digit{3} )? )?
  is, between the layers 3 and 4 defined in
  <xref linkend="operatorprecedence"/>.</para>
 
- <synopsis>LetValueList: "(" LetValue ("," Value)* ")"</synopsis>
+ <synopsis>LetValueList: "(" LetValue ("," LetValue)* ")"</synopsis>
 
  <para>Each variable is a shortcut reference declaration, as defined
  in <xref linkend="references"/>.</para>