src/Pure/Isar/args.ML

--- a/src/Pure/Isar/args.ML	Tue Jul 21 00:56:19 2009 +0200
+++ b/src/Pure/Isar/args.ML	Tue Jul 21 01:03:18 2009 +0200
@@ -88,7 +88,7 @@
 
 fun pretty_src ctxt src =
   let
-    val prt_thm = Pretty.backquote o ProofContext.pretty_thm ctxt;
+    val prt_thm = Pretty.backquote o Display.pretty_thm ctxt;
     fun prt arg =
       (case T.get_value arg of
         SOME (T.Text s) => Pretty.str (quote s)