| changeset 32515 | e7c0d3c0494a |
| parent 32498 | 1132c7c13f36 |
| child 32518 | e3c4e337196c |
--- a/src/HOL/Mirabelle/Tools/mirabelle_arith.ML Thu Sep 03 18:41:58 2009 +0200 +++ b/src/HOL/Mirabelle/Tools/mirabelle_arith.ML Thu Sep 03 22:47:31 2009 +0200 @@ -11,6 +11,6 @@ else () handle TimeLimit.TimeOut => log "arith: time out" -fun invoke _ = Mirabelle.register ("arith", arith_action) +fun invoke _ = Mirabelle.register (Mirabelle.catch "arith: " arith_action) end