changeset 28443 | de653f1ad78b |
parent 23559 | 0de527730294 |
child 29606 | fedb8be05f24 |
--- a/src/Pure/General/basics.ML Wed Oct 01 12:00:01 2008 +0200 +++ b/src/Pure/General/basics.ML Wed Oct 01 12:00:02 2008 +0200 @@ -95,7 +95,7 @@ (* partiality *) fun try f x = SOME (f x) - handle Interrupt => raise Interrupt | _ => NONE; + handle Exn.Interrupt => raise Exn.Interrupt | _ => NONE; fun can f x = is_some (try f x);