changeset 40317 | 1eac228c52b3 |
parent 40076 | 6f012a209dac |
child 41114 | f9ae7c2abf7e |
--- a/src/HOL/Tools/Function/mutual.ML Wed Nov 03 11:06:22 2010 +0100 +++ b/src/HOL/Tools/Function/mutual.ML Wed Nov 03 11:11:49 2010 +0100 @@ -185,7 +185,7 @@ case cprems_of psimp of [] => (psimp, I) | [cond] => (Thm.implies_elim psimp (Thm.assume cond), Thm.implies_intr cond) - | _ => sys_error "Too many conditions" + | _ => raise General.Fail "Too many conditions" in Goal.prove ctxt [] []