src/Pure/Syntax/printer.ML

--- a/src/Pure/Syntax/printer.ML	Tue Sep 13 22:19:48 2005 +0200
+++ b/src/Pure/Syntax/printer.ML	Tue Sep 13 22:19:49 2005 +0200
@@ -64,7 +64,7 @@
       | app_first (f :: fs) = f thy args handle Match => app_first fs;
   in
     transform_failure (fn Match => Match
-      | exn => SynTrans.TRANSLATION_FAIL (exn, "Error in " ^ name ^ " for " ^ quote a))
+      | exn => EXCEPTION (exn, "Error in " ^ name ^ " for " ^ quote a))
       app_first fns
   end;