src/Pure/Syntax/syntax.ML
changeset 47 0af9dbb93529
parent 18 c9ec452ff08f
child 144 0a0da273a6c5
--- a/src/Pure/Syntax/syntax.ML	Fri Oct 08 14:29:55 1993 +0100
+++ b/src/Pure/Syntax/syntax.ML	Mon Oct 11 12:30:06 1993 +0100
@@ -40,7 +40,7 @@
   and Parser: PARSER and SExtension: SEXTENSION and Printer: PRINTER
   sharing TypeExt.Extension = SExtension.Extension
   and Parser.XGram = TypeExt.Extension.XGram = Printer.XGram
-  and Parser.XGram.Ast = Parser.ParseTree.Ast)(*: SYNTAX *) = (* FIXME *)
+  and Parser.XGram.Ast = Parser.ParseTree.Ast): SYNTAX =
 struct
 
 structure Extension = TypeExt.Extension;