Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Mon, 29 Sep 2008 11:46:52 +0200
changeset 28398 9aa3216e5f31
parent 28397 389c5e494605
child 28399 b11b1ca701e5
tuned comments;
src/Pure/ML-Systems/multithreading_polyml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Sep 29 11:46:47 2008 +0200
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Sep 29 11:46:52 2008 +0200
@@ -149,7 +149,7 @@
               if s = Posix.Signal.int then Signal
               else Result (256 + LargeWord.toInt (Posix.Signal.toWord s))
           | Posix.Process.W_STOPPED s => Result (512 + LargeWord.toInt (Posix.Signal.toWord s)));
-      in set_result res end handle _ => set_result (Result 2), []);
+      in set_result res end handle _ (*sic*) => set_result (Result 2), []);
 
     (*main thread -- proxy for interrupts*)
     fun kill n =
isabelle