--- a/src/HOL/Tools/ATP/watcher.ML Wed Apr 20 22:43:52 2005 +0200
+++ b/src/HOL/Tools/ATP/watcher.ML Thu Apr 21 10:05:06 2005 +0200
@@ -108,7 +108,7 @@
in
goals_being_watched := (!goals_being_watched) + 1;
- OS.Process.sleep(Time.fromSeconds 1);
+ Posix.Process.sleep(Time.fromSeconds 1);
(warning ("probfile is: "^probfile));
(warning("dfg file is: "^newfile));
(warning ("wholefile is: "^(File.sysify_path wholefile)));
@@ -483,7 +483,7 @@
val parentID = Posix.ProcEnv.getppid()
val newProcList' =checkChildren (newProcList, toParentStr)
in
- (*OS.Process.sleep (Time.fromSeconds 1);*)
+ (*Posix.Process.sleep (Time.fromSeconds 1);*)
loop (newProcList')
end
)
@@ -495,7 +495,7 @@
val parentID = Posix.ProcEnv.getppid()
val newProcList' =checkChildren (newProcList, toParentStr)
in
- (*OS.Process.sleep (Time.fromSeconds 1);*)
+ (*Posix.Process.sleep (Time.fromSeconds 1);*)
loop (newProcList')
end
)
@@ -508,7 +508,7 @@
(******************************)
( let val newProcList = checkChildren ((procList), toParentStr)
in
- OS.Process.sleep (Time.fromSeconds 1);
+ Posix.Process.sleep (Time.fromSeconds 1);
loop (newProcList)
end