changeset 2381 | d00e6f44df79 |
parent 2256 | e9326ab92fbc |
child 2675 | e2908f8edc8d |
--- a/src/Pure/Syntax/mixfix.ML Fri Dec 13 12:01:26 1996 +0100 +++ b/src/Pure/Syntax/mixfix.ML Fri Dec 13 17:29:22 1996 +0100 @@ -144,7 +144,7 @@ val xconsts = map name_of const_decls; val binders = mapfilter binder const_decls; val binder_trs = map mk_binder_tr binders; - val binder_trs' = map (mk_binder_tr' o swap) binders; + val binder_trs' = map (apsnd fix_tr' o mk_binder_tr' o swap) binders; in syn_ext logtypes mfix xconsts ([], binder_trs, binder_trs', []) ([], []) end;