src/Pure/Syntax/mixfix.ML
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;