--- a/src/Pure/Concurrent/multithreading.ML Sat Apr 09 14:00:23 2016 +0200
+++ b/src/Pure/Concurrent/multithreading.ML Sat Apr 09 14:11:31 2016 +0200
@@ -6,7 +6,6 @@
signature MULTITHREADING =
sig
- val interrupted: unit -> unit (*exception Interrupt*)
val max_threads_value: unit -> int
val max_threads_update: int -> unit
val enabled: unit -> bool
@@ -22,17 +21,6 @@
structure Multithreading: MULTITHREADING =
struct
-(* interrupts *)
-
-fun interrupted () =
- let
- val orig_atts = Thread_Attributes.safe_interrupts (Thread.getAttributes ());
- val _ = Thread.setAttributes Thread_Attributes.test_interrupts;
- val test = Exn.capture Thread.testInterrupt ();
- val _ = Thread.setAttributes orig_atts;
- in Exn.release test end;
-
-
(* options *)
fun num_processors () =