src/HOL/HOLCF/Tools/cont_consts.ML

 fun transform thy (c, T, mx) =
   let
     fun syntax b = Syntax.mark_const (Sign.full_bname thy b)
     val c1 = Binding.name_of c
     val c2 = c1 ^ "_cont_syntax"
-    val n = Syntax.mixfix_args mx
+    val n = Mixfix.mixfix_args mx
   in
     ((c, T, NoSyn),
       (Binding.name c2, change_arrow n T, mx),
       trans_rules (syntax c2) (syntax c1) n mx)
   end

 
 fun is_contconst (_, _, NoSyn) = false
   | is_contconst (_, _, Binder _) = false    (* FIXME ? *)
   | is_contconst (c, T, mx) =
       let
-        val n = Syntax.mixfix_args mx handle ERROR msg =>
+        val n = Mixfix.mixfix_args mx handle ERROR msg =>
           cat_error msg ("in mixfix annotation for " ^ quote (Binding.str_of c))
       in cfun_arity T >= n end
 
 
 (* add_consts *)