src/Tools/Code/code_runtime.ML
changeset 40235 87998864284e
parent 40150 1348d4982a17
child 40257 323f7aad54b0
--- 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