# HG changeset patch
# User wenzelm
# Date 1167492032 -3600
# Node ID 1845e43aee930c64a0e60e6bd49ef7115f830212
# Parent  a8bf1106cb7c2d3e7d903efad671cfd442f64b7c
removed dead code;

diff -r a8bf1106cb7c -r 1845e43aee93 src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Dec 30 16:08:10 2006 +0100
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Dec 30 16:20:32 2006 +0100
@@ -15,8 +15,6 @@
 structure ProofGeneral: PROOF_GENERAL =
 struct
 
-structure P = OuterParse;
-
 
 (* print modes *)
 
diff -r a8bf1106cb7c -r 1845e43aee93 src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Sat Dec 30 16:08:10 2006 +0100
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Sat Dec 30 16:20:32 2006 +0100
@@ -18,8 +18,6 @@
 structure ProofGeneralPgip : PROOF_GENERAL_PGIP  =
 struct
 
-structure P = OuterParse;
-
 open Pgip;