correction of recent typo

--- a/src/HOLCF/Cfun3.ML	Tue Jul 16 16:07:32 1996 +0200
+++ b/src/HOLCF/Cfun3.ML	Wed Jul 17 15:04:48 1996 +0200
@@ -391,4 +391,4 @@
 (* use cont_tac as autotac.                                                *)
 (* ------------------------------------------------------------------------ *)
 
-simpset := !simpset addsolver (K (DEPTH_SOLVE_1 o cont_tac i));
+simpset := !simpset addsolver (K (DEPTH_SOLVE_1 o cont_tac));