src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 24614 a4b2eb0dd673
parent 24244 d7ee11ba1534
child 24712 64ed05609568
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Sep 17 16:36:43 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Sep 17 16:36:45 2007 +0200
     1.3 @@ -572,9 +572,10 @@
     1.4  
     1.5  fun set_proverflag_pgmlsymbols b =
     1.6      (pgmlsymbols_flag := b;
     1.7 -     change print_mode 
     1.8 +      NAMED_CRITICAL "print_mode" (fn () =>
     1.9 +        change print_mode 
    1.10              (fn mode =>
    1.11 -                remove (op =) Symbol.xsymbolsN mode @ (if b then [Symbol.xsymbolsN] else [])))
    1.12 +                remove (op =) Symbol.xsymbolsN mode @ (if b then [Symbol.xsymbolsN] else []))))
    1.13  
    1.14  fun set_proverflag_thmdeps b =
    1.15      (show_theorem_dependencies := b;