src/Pure/Syntax/syntax.ML
changeset 12094 db9a3ad6e90e
parent 12073 b4401452928e
child 12292 c4090cc2aa15
     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