src/HOL/Tools/ATP/watcher.ML
changeset 21888 c75a44597fb7
parent 20871 da3a43cdbe8d
child 21900 f386d7eb17d1
     1.1 --- a/src/HOL/Tools/ATP/watcher.ML	Tue Dec 19 19:34:35 2006 +0100
     1.2 +++ b/src/HOL/Tools/ATP/watcher.ML	Wed Dec 20 17:03:46 2006 +0100
     1.3 @@ -23,7 +23,7 @@
     1.4  
     1.5  (* Start a watcher and set up signal handlers*)
     1.6  val createWatcher : 
     1.7 -	thm * string Array.array list -> 
     1.8 +	thm * string Vector.vector list -> 
     1.9  	TextIO.instream * TextIO.outstream * Posix.Process.pid
    1.10  val killWatcher : Posix.Process.pid -> unit
    1.11  val killChild  : ('a, 'b) Unix.proc -> OS.Process.status