src/HOLCF/ccc1.ML

--- a/src/HOLCF/ccc1.ML	Wed Oct 04 13:12:14 1995 +0100
+++ b/src/HOLCF/ccc1.ML	Wed Oct 04 14:01:44 1995 +0100
@@ -87,8 +87,7 @@
 (* Merge the different rewrite rules for the simplifier                     *)
 (* ------------------------------------------------------------------------ *)
 
-val ccc1_ss = Cfun_ss addsimps Cprod_rews addsimps Sprod_rews addsimps
-		 Ssum_rews addsimps lift_rews addsimps [ID1,ID2,ID3,cfcomp2];
+Addsimps (lift_rews @ [ID1,ID2,ID3,cfcomp2]);