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