# HG changeset patch
# User paulson
# Date 1114183966 -7200
# Node ID f79b673da664b35c8fdff1e1590e73a6b682ee56
# Parent  4575c87dd25b94f690ed17bb756c3dd39f98e745
removed last occurrences of OS.Process.sleep

diff -r 4575c87dd25b -r f79b673da664 src/HOL/Tools/ATP/recon_transfer_proof.ML
--- 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)