diff -r b9b2db1e7a5e -r 1767d4feef7d src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon May 13 21:07:01 2013 +0200
+++ b/src/Pure/ROOT.ML	Mon May 13 21:42:27 2013 +0200
@@ -299,7 +299,6 @@
 (* configuration for Proof General *)
 
 use "ProofGeneral/pgip_types.ML";
-use "ProofGeneral/pgip_output.ML";
 
 (use
   |> Unsynchronized.setmp Proofterm.proofs 0