--- a/src/Tools/Code/code_runtime.ML Thu Oct 28 21:59:01 2010 +0200
+++ b/src/Tools/Code/code_runtime.ML Thu Oct 28 22:04:00 2010 +0200
@@ -105,7 +105,7 @@
val (program_code, [SOME value_name']) = serializer naming program' [value_name];
val value_code = space_implode " "
(value_name' :: "()" :: map (enclose "(" ")") args);
- in Exn.capture (value ctxt cookie) (program_code, value_code) end;
+ in Exn.interruptible_capture (value ctxt cookie) (program_code, value_code) end;
fun partiality_as_none e = SOME (Exn.release e)
handle General.Match => NONE