src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Sat Mar 30 12:13:39 2013 +0100
+++ b/src/Pure/Isar/method.ML	Sat Mar 30 13:40:19 2013 +0100
@@ -202,7 +202,7 @@
 
 fun trace ctxt rules =
   if Config.get ctxt rule_trace andalso not (null rules) then
-    Pretty.big_list "rules:" (map (Display.pretty_thm ctxt) rules)
+    Pretty.big_list "rules:" (map (Display.pretty_thm_item ctxt) rules)
     |> Pretty.string_of |> tracing
   else ();