# HG changeset patch
# User clasohm
# Date 817817202 -3600
# Node ID 8f693d2ffb595b74100c5fe01c463a665bf28d44
# Parent  0428994540327b6efd0b7d728f4efa9567f588eb
modified simpleType

diff -r 042899454032 -r 8f693d2ffb59 doc-src/Ref/theory-syntax.tex
--- a/doc-src/Ref/theory-syntax.tex	Fri Dec 01 12:24:06 1995 +0100
+++ b/doc-src/Ref/theory-syntax.tex	Fri Dec 01 12:26:42 1995 +0100
@@ -76,7 +76,7 @@
             '=>' constType | constType '=>' constType;
 
 simpleType: id | ( tid ( () | '::' id ) ) |
-            '(' ( constType + "," ) ')' id | simpleType id;
+            '(' ( constType + "," ) ')' ( id + ',' ) | simpleType ( id + ',' );
 
 mixfix :  string ( () | ( () | ('[' (nat + ',') ']')) nat )
        | infix