--- 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));