src/Pure/ProofGeneral/proof_general_pgip.ML

--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Mar 27 15:32:15 2008 +0100
@@ -105,7 +105,7 @@
 
 in
 
-val _ = Context.add_setup (Sign.add_tokentrfuns proof_general_trans);
+val _ = Context.>> (Sign.add_tokentrfuns proof_general_trans);
 
 end;