src/Pure/ProofGeneral/pgml_isabelle.ML

--- a/src/Pure/ProofGeneral/pgml_isabelle.ML	Mon Jul 23 16:45:02 2007 +0200
+++ b/src/Pure/ProofGeneral/pgml_isabelle.ML	Mon Jul 23 16:45:03 2007 +0200
@@ -16,7 +16,7 @@
 (** print mode **)
 
 val pgmlN = "PGML";
-fun pgml_mode f x = setmp print_mode (pgmlN :: ! print_mode) f x;
+fun pgml_mode f x = PrintMode.with_modes [pgmlN] f x;
 
 val _ = Markup.add_mode pgmlN (fn markup as (name, _) => ("", ""));