src/Pure/Syntax/mixfix.ML
changeset 52143 36ffe23b25f8
parent 42298 d622145603ee
child 55763 4b3907cb5654
     1.1 --- a/src/Pure/Syntax/mixfix.ML	Sat May 25 15:00:53 2013 +0200
     1.2 +++ b/src/Pure/Syntax/mixfix.ML	Sat May 25 15:37:53 2013 +0200
     1.3 @@ -145,10 +145,10 @@
     1.4      val mfix = maps mfix_of const_decls;
     1.5      val binders = map_filter binder const_decls;
     1.6      val binder_trs = binders
     1.7 -      |> map (Syntax_Ext.stamp_trfun binder_stamp o apsnd K o Syntax_Trans.mk_binder_tr);
     1.8 +      |> map (Syntax_Ext.stamp_trfun binder_stamp o Syntax_Trans.mk_binder_tr);
     1.9      val binder_trs' = binders
    1.10        |> map (Syntax_Ext.stamp_trfun binder_stamp o
    1.11 -          apsnd (K o Syntax_Trans.non_typed_tr') o Syntax_Trans.mk_binder_tr' o swap);
    1.12 +          apsnd Syntax_Trans.non_typed_tr' o Syntax_Trans.mk_binder_tr' o swap);
    1.13  
    1.14      val consts = binders @ map (fn (c, _, _) => (c, "")) const_decls;
    1.15    in