# HG changeset patch
# User wenzelm
# Date 1006286266 -3600
# Node ID 835fef0fac51ef9e959c56a1814b150353bda24a
# Parent  53b7962bcdb1b2ba64cbf5a5ee72c1b6ee8a0687
prefer later trfuns;

diff -r 53b7962bcdb1 -r 835fef0fac51 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Tue Nov 20 20:57:07 2001 +0100
+++ b/src/Pure/Syntax/printer.ML	Tue Nov 20 20:57:46 2001 +0100
@@ -48,11 +48,11 @@
 
 (* apply print (ast) translation function *)
 
-fun apply_first [] x = raise Match
-  | apply_first (f :: fs) x = f x handle Match => apply_first fs x;
+fun apply_last [] x = raise Match
+  | apply_last (f :: fs) x = apply_last fs x handle Match => f x;
 
 fun apply_trans name a fs args =
-  (apply_first fs args handle
+  (apply_last fs args handle
     Match => raise Match
   | exn => (priority ("Error in " ^ name ^ " for " ^ quote a); raise exn));