| changeset 32498 | 1132c7c13f36 |
| parent 32496 | 4ab00a2642c3 |
| child 32515 | e7c0d3c0494a |
--- a/src/HOL/Mirabelle/Tools/mirabelle_arith.ML Wed Sep 02 16:29:50 2009 +0200 +++ b/src/HOL/Mirabelle/Tools/mirabelle_arith.ML Wed Sep 02 21:31:58 2009 +0200 @@ -7,8 +7,9 @@ fun arith_action {pre, timeout, log, ...} = if Mirabelle.can_apply timeout Arith_Data.arith_tac pre - then log "succeeded" + then log "arith: succeeded" else () + handle TimeLimit.TimeOut => log "arith: time out" fun invoke _ = Mirabelle.register ("arith", arith_action)