tuned comments;
authorwenzelm
Mon Sep 29 11:46:52 2008 +0200 (2008-09-29 ago)
changeset 283989aa3216e5f31
parent 28397 389c5e494605
child 28399 b11b1ca701e5
tuned comments;
src/Pure/ML-Systems/multithreading_polyml.ML
     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 =