src/Pure/Syntax/mixfix.ML
changeset 42284 326f57825e1a
parent 42268 01401287c3f7
child 42287 d98eb048a2e4
     1.1 --- a/src/Pure/Syntax/mixfix.ML	Fri Apr 08 11:39:45 2011 +0200
     1.2 +++ b/src/Pure/Syntax/mixfix.ML	Fri Apr 08 13:31:16 2011 +0200
     1.3 @@ -154,10 +154,10 @@
     1.4      val xconsts = map #1 const_decls;
     1.5      val binders = map_filter binder const_decls;
     1.6      val binder_trs = binders
     1.7 -      |> map (Syn_Ext.stamp_trfun binder_stamp o apsnd K o Syn_Trans.mk_binder_tr);
     1.8 +      |> map (Syn_Ext.stamp_trfun binder_stamp o apsnd K o Syntax_Trans.mk_binder_tr);
     1.9      val binder_trs' = binders
    1.10        |> map (Syn_Ext.stamp_trfun binder_stamp o
    1.11 -          apsnd (K o Syn_Trans.non_typed_tr') o Syn_Trans.mk_binder_tr' o swap);
    1.12 +          apsnd (K o Syntax_Trans.non_typed_tr') o Syntax_Trans.mk_binder_tr' o swap);
    1.13    in
    1.14      Syn_Ext.syn_ext' true is_logtype
    1.15        mfix xconsts ([], binder_trs, binder_trs', []) ([], [])