src/Pure/Isar/expression.ML

--- a/src/Pure/Isar/expression.ML	Wed Mar 27 21:25:33 2013 +0100
+++ b/src/Pure/Isar/expression.ML	Wed Mar 27 22:36:03 2013 +0100
@@ -938,9 +938,9 @@
 fun print_dependencies ctxt clean expression =
   let
     val ((_, deps, export), expr_ctxt) = read_goal_expression expression ctxt;
+    val export' = if clean then Morphism.identity else export;
   in
-    Locale.print_dependencies expr_ctxt clean export deps
+    Locale.print_dependencies expr_ctxt clean export' deps
   end;
 
 end;
-