# HG changeset patch
# User wenzelm
# Date 848406088 -3600
# Node ID 8369f3f4bb4f5b637cdc604645f33b4edbc015a8
# Parent  e10e02de3e029f6433c3f1037887c80e74fa16ec
removed old commented out text;

diff -r e10e02de3e02 -r 8369f3f4bb4f src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Tue Nov 19 13:21:02 1996 +0100
+++ b/src/Pure/Syntax/printer.ML	Tue Nov 19 13:21:28 1996 +0100
@@ -287,26 +287,6 @@
         | Some f => (astT (trans a f args, p) handle Match => prnt (get_fmts tabs a)))
       end
 
-(* FIXME old
-    and combT (tup as (c, a, args, p)) =
-      let
-        val nargs = length args;
-
-        fun prnt (pr, n, p') =
-          if nargs = n then parT (pr, args, p, p')
-          else if nargs < n orelse type_mode then prefixT tup
-          else astT (appT (splitT n ([c], args)), p);
-      in
-        (case (trf a, get_fmt tabs a) of
-          (None, None) => prefixT tup
-        | (None, Some prnp) => prnt prnp
-        | (Some f, None) =>
-            (astT (trans a f args, p) handle Match => prefixT tup)
-        | (Some f, Some prnp) =>
-            (astT (trans a f args, p) handle Match => prnt prnp))
-      end
-*)
-
     and astT (c as Constant a, p) = combT (c, a, [], p)
       | astT (Variable x, _) = [Pretty.str x]
       | astT (Appl ((c as Constant a) :: (args as _ :: _)), p) =