src/Pure/ProofGeneral/proof_general_emacs.ML

--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Fri Mar 28 19:43:54 2008 +0100
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Fri Mar 28 20:02:04 2008 +0100
@@ -92,7 +92,7 @@
 
 in
 
-val _ = Context.>> (Sign.add_tokentrfuns proof_general_trans);
+val _ = Context.>> (Context.map_theory (Sign.add_tokentrfuns proof_general_trans));
 
 end;