# HG changeset patch
# User oheimb
# Date 837608688 -7200
# Node ID c9e080c1732d9956fda3ff3b64cda3e5b721128c
# Parent  065bd29adc7a24d40e5dcaf658486a5bc6d53004
correction of recent typo

diff -r 065bd29adc7a -r c9e080c1732d src/HOLCF/Cfun3.ML
--- 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));