# HG changeset patch
# User huffman
# Date 1257464289 28800
# Node ID 03221db9df29b9e81cf16b69a6f6939c1550c477
# Parent  b4210cc3ac97036ad4fcd583f85da74d8938543f
use try instead of handle

diff -r b4210cc3ac97 -r 03221db9df29 src/HOLCF/Tools/fixrec.ML
--- a/src/HOLCF/Tools/fixrec.ML	Thu Nov 05 11:47:00 2009 -0800
+++ b/src/HOLCF/Tools/fixrec.ML	Thu Nov 05 15:38:09 2009 -0800
@@ -391,7 +391,7 @@
         CHANGED (rtac rule i THEN asm_simp_tac ss i)
       end
   in
-    SUBGOAL (fn ti => tac ti handle _ => no_tac)
+    SUBGOAL (fn ti => the_default no_tac (try tac ti))
   end;
 
 val fixrec_simp_add : Thm.attribute =