src/Pure/sign.ML
changeset 42284 326f57825e1a
parent 42268 01401287c3f7
child 42287 d98eb048a2e4
     1.1 --- a/src/Pure/sign.ML	Fri Apr 08 11:39:45 2011 +0200
     1.2 +++ b/src/Pure/sign.ML	Fri Apr 08 13:31:16 2011 +0200
     1.3 @@ -477,9 +477,9 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val add_trfuns = gen_add_trfuns Syntax.update_trfuns Syntax.non_typed_tr';
     1.8 +val add_trfuns = gen_add_trfuns Syntax.update_trfuns Syntax_Trans.non_typed_tr';
     1.9  val add_trfunsT = gen_add_trfunsT Syntax.update_trfuns;
    1.10 -val add_advanced_trfuns = gen_add_trfuns Syntax.update_advanced_trfuns Syntax.non_typed_tr'';
    1.11 +val add_advanced_trfuns = gen_add_trfuns Syntax.update_advanced_trfuns Syntax_Trans.non_typed_tr'';
    1.12  val add_advanced_trfunsT = gen_add_trfunsT Syntax.update_advanced_trfuns;
    1.13  
    1.14  end;