src/HOLCF/Tools/cont_consts.ML
changeset 35525 fa231b86cb1e
parent 35262 9ea4445d2ccf
child 36960 01594f816e3a
--- a/src/HOLCF/Tools/cont_consts.ML	Tue Mar 02 17:20:03 2010 -0800
+++ b/src/HOLCF/Tools/cont_consts.ML	Tue Mar 02 17:21:10 2010 -0800
@@ -56,7 +56,7 @@
       trans_rules (syntax c2) (syntax c1) n mx)
   end;
 
-fun cfun_arity (Type (n, [_, T])) = if n = @{type_name "->"} then 1 + cfun_arity T else 0
+fun cfun_arity (Type (n, [_, T])) = if n = @{type_name cfun} then 1 + cfun_arity T else 0
   | cfun_arity _ = 0;
 
 fun is_contconst (_, _, NoSyn) = false