binder_tr': applied fix_tr';
authorwenzelm
Fri Dec 13 17:29:22 1996 +0100 (1996-12-13)
changeset 2381d00e6f44df79
parent 2380 90280b3a538b
child 2382 e7c2bce815ba
binder_tr': applied fix_tr';
src/Pure/Syntax/mixfix.ML
     1.1 --- a/src/Pure/Syntax/mixfix.ML	Fri Dec 13 12:01:26 1996 +0100
     1.2 +++ b/src/Pure/Syntax/mixfix.ML	Fri Dec 13 17:29:22 1996 +0100
     1.3 @@ -144,7 +144,7 @@
     1.4      val xconsts = map name_of const_decls;
     1.5      val binders = mapfilter binder const_decls;
     1.6      val binder_trs = map mk_binder_tr binders;
     1.7 -    val binder_trs' = map (mk_binder_tr' o swap) binders;
     1.8 +    val binder_trs' = map (apsnd fix_tr' o mk_binder_tr' o swap) binders;
     1.9    in
    1.10      syn_ext logtypes mfix xconsts ([], binder_trs, binder_trs', []) ([], [])
    1.11    end;