src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 21970 1845e43aee93
parent 21969 a8bf1106cb7c
child 21972 1b68312c4cf0
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Sat Dec 30 16:08:10 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Sat Dec 30 16:20:32 2006 +0100
     1.3 @@ -18,8 +18,6 @@
     1.4  structure ProofGeneralPgip : PROOF_GENERAL_PGIP  =
     1.5  struct
     1.6  
     1.7 -structure P = OuterParse;
     1.8 -
     1.9  open Pgip;
    1.10  
    1.11