tuned;
authorwenzelm
Wed Nov 07 18:18:29 2001 +0100 (2001-11-07)
changeset 12094db9a3ad6e90e
parent 12093 1b890f1e0b4d
child 12095 935e29914f93
tuned;
src/Pure/Syntax/syntax.ML
     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