--- a/src/Pure/global_theory.ML Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/global_theory.ML Sun Nov 25 19:49:24 2012 +0100
@@ -82,7 +82,7 @@
| SOME (static, ths) =>
(Context_Position.report_generic context pos (Name_Space.markup (Facts.space_of facts) name);
if static then ()
- else Context_Position.report_generic context pos (Isabelle_Markup.dynamic_fact name);
+ else Context_Position.report_generic context pos (Markup.dynamic_fact name);
Facts.select xthmref (map (Thm.transfer thy) ths)))
end;