src/Pure/Isar/isar_cmd.ML
changeset 59917 9830c944670f
parent 59210 8658b4290aed
child 59930 bdbc4b761c31
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Fri Apr 03 18:36:19 2015 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Fri Apr 03 19:56:51 2015 +0200
     1.3 @@ -257,7 +257,7 @@
     1.4  
     1.5  fun pretty_theorems verbose st =
     1.6    if Toplevel.is_proof st then
     1.7 -    Proof_Context.pretty_local_facts (Toplevel.context_of st) verbose
     1.8 +    Proof_Context.pretty_local_facts verbose (Toplevel.context_of st)
     1.9    else
    1.10      let
    1.11        val thy = Toplevel.theory_of st;