src/HOLCF/Lift3.ML

--- a/src/HOLCF/Lift3.ML	Tue May 20 16:01:03 1997 +0200
+++ b/src/HOLCF/Lift3.ML	Tue May 20 16:02:36 1997 +0200
@@ -60,7 +60,7 @@
 
 end; (* local *)
 
-Delsimps lift.simps;
+Delsimps Lift1.lift.simps;
 Delsimps [inst_lift_pcpo];
 Addsimps [inst_lift_pcpo RS sym];
 Addsimps lift.simps;