--- a/src/Pure/Syntax/printer.ML Thu Feb 03 13:57:04 1994 +0100
+++ b/src/Pure/Syntax/printer.ML Thu Feb 03 13:59:00 1994 +0100
@@ -32,7 +32,7 @@
functor PrinterFun(structure Symtab: SYMTAB and TypeExt: TYPE_EXT
and SExtension: SEXTENSION sharing TypeExt.SynExt = SExtension.Parser.SynExt)
- (*: PRINTER *) = (* FIXME *)
+ : PRINTER =
struct
structure Symtab = Symtab;
@@ -213,8 +213,6 @@
(** pretty term or typ asts **)
-(*assumes a syntax derived from Pure, otherwise may loop forever*)
-
fun pretty prtab trf type_mode ast0 p0 =
let
val trans = apply_trans "print ast translation";