src/HOLCF/Lift3.ML

--- a/src/HOLCF/Lift3.ML	Mon Feb 17 13:54:24 1997 +0100
+++ b/src/HOLCF/Lift3.ML	Mon Feb 17 16:01:16 1997 +0100
@@ -242,4 +242,5 @@
 fun cont_tacR i = simp_tac (!simpset addsimps [flift1_def,flift2_def]) i THEN
 		  REPEAT (cont_tac i);
 
-simpset := !simpset addsolver (K (DEPTH_SOLVE_1 o cont_tac));
+simpset := !simpset addSolver (K (DEPTH_SOLVE_1 o cont_tac));
+