# HG changeset patch
# User wenzelm
# Date 1283722272 -7200
# Node ID 8235606e2b2369ace980238af9b9bb220b98b9f2
# Parent  53886463f559fcedb8e2b85519f7c42d3e3c8757
use setmp_noncritical for PGIP, which is presumably sequential (PG clone);

diff -r 53886463f559 -r 8235606e2b23 src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Sep 05 23:26:16 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Sep 05 23:31:12 2010 +0200
@@ -1044,7 +1044,7 @@
    This works for preferences but not generally guaranteed
    because we haven't done full setup here (e.g., no pgml mode)  *)
 fun process_pgip_emacs str =
-     setmp_CRITICAL output_xml_fn (!pgip_output_channel) process_pgip_plain str
+     setmp_noncritical output_xml_fn (!pgip_output_channel) process_pgip_plain str
 
 end