src/Pure/sign.ML
changeset 42288 2074b31650e6
parent 42287 d98eb048a2e4
child 42290 b1f544c84040
     1.1 --- a/src/Pure/sign.ML	Fri Apr 08 14:20:57 2011 +0200
     1.2 +++ b/src/Pure/sign.ML	Fri Apr 08 15:02:11 2011 +0200
     1.3 @@ -468,7 +468,7 @@
     1.4  
     1.5  local
     1.6  
     1.7 -fun mk trs = map Syntax.mk_trfun trs;
     1.8 +fun mk trs = map Syntax_Ext.mk_trfun trs;
     1.9  
    1.10  fun gen_add_trfuns ext non_typed (atrs, trs, tr's, atr's) =
    1.11    map_syn (ext (mk atrs, mk trs, mk (map (apsnd non_typed) tr's), mk atr's));