1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Tue Sep 25 15:34:35 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Tue Sep 25 17:06:14 2007 +0200
     1.3 @@ -105,7 +105,7 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val _ = Context.add_setup (Theory.add_tokentrfuns proof_general_trans);
     1.8 +val _ = Context.add_setup (Sign.add_tokentrfuns proof_general_trans);
     1.9  
    1.10  end;
    1.11