src/Pure/ProofGeneral/proof_general_pgip.ML

--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Nov 04 16:43:31 2007 +0100
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Nov 04 17:12:14 2007 +0100
@@ -1140,7 +1140,6 @@
   | init_pgip true =
       (! initialized orelse
         (Output.no_warnings init_outer_syntax ();
-          OldPgipParser.init ();
           setup_preferences_tweak ();
           setup_proofgeneral_output ();
           setup_messages ();