diff -r f5f2340398f9 -r 3f9d3d5cd0cd src/Pure/Syntax/mixfix.ML
--- a/src/Pure/Syntax/mixfix.ML	Thu Apr 22 10:58:54 2004 +0200
+++ b/src/Pure/Syntax/mixfix.ML	Thu Apr 22 10:59:19 2004 +0200
@@ -196,7 +196,8 @@
     val xconsts = map name_of const_decls;
     val binders = mapfilter binder const_decls;
     val binder_trs = map SynTrans.mk_binder_tr binders;
-    val binder_trs' = map (apsnd SynExt.fix_tr' o SynTrans.mk_binder_tr' o swap) binders;
+    val binder_trs' =
+      map (apsnd SynTrans.non_typed_tr' o SynTrans.mk_binder_tr' o swap) binders;
   in SynExt.syn_ext logtypes mfix xconsts ([], binder_trs, binder_trs', []) [] ([], []) end;