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.
removed last occurrences of OS.Process.sleep
authorpaulson
Fri, 22 Apr 2005 17:32:46 +0200
changeset 15817 f79b673da664
parent 15816 4575c87dd25b
child 15818 5ff7d5d2e083
removed last occurrences of OS.Process.sleep
src/HOL/Tools/ATP/recon_transfer_proof.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Apr 22 17:32:29 2005 +0200
+++ b/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Apr 22 17:32:46 2005 +0200
@@ -371,7 +371,7 @@
                                           
                                          	   Posix.Process.kill(Posix.Process.K_PROC ppid, Posix.Signal.usr2);
                                          	  (* Attempt to prevent several signals from turning up simultaneously *)
-                                         	   OS.Process.sleep(Time.fromSeconds 1) ; dummy_tac
+                                         	   Posix.Process.sleep(Time.fromSeconds 1) ; dummy_tac
                                               end
                                               handle _ => (let val  outfile = TextIO.openOut(File.sysify_path(File.tmp_path (Path.basic "foo_handler")));
 
@@ -382,7 +382,7 @@
                                                   TextIO.flushOut toParent;
             					  Posix.Process.kill(Posix.Process.K_PROC ppid, Posix.Signal.usr2);
                                          	  (* Attempt to prevent several signals from turning up simultaneously *)
-                                         	  OS.Process.sleep(Time.fromSeconds 1) ;dummy_tac
+                                         	  Posix.Process.sleep(Time.fromSeconds 1) ;dummy_tac
                                               end)
isabelle