1.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML Mon Sep 29 11:46:47 2008 +0200
1.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML Mon Sep 29 11:46:52 2008 +0200
1.3 @@ -149,7 +149,7 @@
1.4 if s = Posix.Signal.int then Signal
1.5 else Result (256 + LargeWord.toInt (Posix.Signal.toWord s))
1.6 | Posix.Process.W_STOPPED s => Result (512 + LargeWord.toInt (Posix.Signal.toWord s)));
1.7 - in set_result res end handle _ => set_result (Result 2), []);
1.8 + in set_result res end handle _ (*sic*) => set_result (Result 2), []);
1.9
1.10 (*main thread -- proxy for interrupts*)
1.11 fun kill n =