--- a/src/HOLCF/Tools/repdef.ML Tue Mar 02 17:20:03 2010 -0800
+++ b/src/HOLCF/Tools/repdef.ML Tue Mar 02 17:21:10 2010 -0800
@@ -35,7 +35,7 @@
val natT = @{typ nat};
val udomT = @{typ udom};
fun alg_deflT T = Type (@{type_name alg_defl}, [T]);
-fun cfunT (T, U) = Type (@{type_name "->"}, [T, U]);
+fun cfunT (T, U) = Type (@{type_name cfun}, [T, U]);
fun emb_const T = Const (@{const_name emb}, cfunT (T, udomT));
fun prj_const T = Const (@{const_name prj}, cfunT (udomT, T));
fun approx_const T = Const (@{const_name approx}, natT --> cfunT (T, T));