diff -r f0f4978af183 -r 0af9dbb93529 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Fri Oct 08 14:29:55 1993 +0100
+++ b/src/Pure/Syntax/printer.ML	Mon Oct 11 12:30:06 1993 +0100
@@ -32,7 +32,7 @@
 
 functor PrinterFun(structure Symtab: SYMTAB and Lexicon: LEXICON
   and TypeExt: TYPE_EXT and SExtension: SEXTENSION and Pretty: PRETTY
-  sharing TypeExt.Extension = SExtension.Extension) (*: PRINTER *) =  (* FIXME *)
+  sharing TypeExt.Extension = SExtension.Extension): PRINTER =
 struct
 
 structure Symtab = Symtab;