src/Pure/Isar/expression.ML
changeset 51565 5e9fdbdf88ce
parent 49820 f7a1e1745b7b
child 51727 cf97bb5bbc90
     1.1 --- a/src/Pure/Isar/expression.ML	Wed Mar 27 21:25:33 2013 +0100
     1.2 +++ b/src/Pure/Isar/expression.ML	Wed Mar 27 22:36:03 2013 +0100
     1.3 @@ -938,9 +938,9 @@
     1.4  fun print_dependencies ctxt clean expression =
     1.5    let
     1.6      val ((_, deps, export), expr_ctxt) = read_goal_expression expression ctxt;
     1.7 +    val export' = if clean then Morphism.identity else export;
     1.8    in
     1.9 -    Locale.print_dependencies expr_ctxt clean export deps
    1.10 +    Locale.print_dependencies expr_ctxt clean export' deps
    1.11    end;
    1.12  
    1.13  end;
    1.14 -