src/Pure/ProofGeneral/proof_general_emacs.ML
changeset 21970 1845e43aee93
parent 21968 883cd697112e
child 21984 7b9c2f6b45f5
     1.1 --- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Dec 30 16:08:10 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Dec 30 16:20:32 2006 +0100
     1.3 @@ -15,8 +15,6 @@
     1.4  structure ProofGeneral: PROOF_GENERAL =
     1.5  struct
     1.6  
     1.7 -structure P = OuterParse;
     1.8 -
     1.9  
    1.10  (* print modes *)
    1.11