| changeset 47 | 0af9dbb93529 |
| parent 42 | d981488bda7b |
| child 62 | facfff975d1a |
--- 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;