1.1 --- a/src/Pure/Syntax/syntax.ML	Wed Nov 07 18:18:19 2001 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Wed Nov 07 18:18:29 2001 +0100
     1.3 @@ -62,7 +62,7 @@
     1.4    val ambiguity_level: int ref
     1.5  end;
     1.6  
     1.7 -structure Syntax : SYNTAX =
     1.8 +structure Syntax: SYNTAX =
     1.9  struct
    1.10  
    1.11