removed last occurrences of OS.Process.sleep
authorpaulson
Fri Apr 22 17:32:46 2005 +0200 (2005-04-22)
changeset 15817f79b673da664
parent 15816 4575c87dd25b
child 15818 5ff7d5d2e083
removed last occurrences of OS.Process.sleep
src/HOL/Tools/ATP/recon_transfer_proof.ML
     1.1 --- a/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Apr 22 17:32:29 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Apr 22 17:32:46 2005 +0200
     1.3 @@ -371,7 +371,7 @@
     1.4                                            
     1.5                                           	   Posix.Process.kill(Posix.Process.K_PROC ppid, Posix.Signal.usr2);
     1.6                                           	  (* Attempt to prevent several signals from turning up simultaneously *)
     1.7 -                                         	   OS.Process.sleep(Time.fromSeconds 1) ; dummy_tac
     1.8 +                                         	   Posix.Process.sleep(Time.fromSeconds 1) ; dummy_tac
     1.9                                                end
    1.10                                                handle _ => (let val  outfile = TextIO.openOut(File.sysify_path(File.tmp_path (Path.basic "foo_handler")));
    1.11  
    1.12 @@ -382,7 +382,7 @@
    1.13                                                    TextIO.flushOut toParent;
    1.14              					  Posix.Process.kill(Posix.Process.K_PROC ppid, Posix.Signal.usr2);
    1.15                                           	  (* Attempt to prevent several signals from turning up simultaneously *)
    1.16 -                                         	  OS.Process.sleep(Time.fromSeconds 1) ;dummy_tac
    1.17 +                                         	  Posix.Process.sleep(Time.fromSeconds 1) ;dummy_tac
    1.18                                                end)
    1.19  
    1.20