src/HOL/Tools/ATP/watcher.ML
changeset 17819 1241e5d31d5b
parent 17774 0ecfb66ea072
child 18680 677e2bdd75f0
     1.1 --- a/src/HOL/Tools/ATP/watcher.ML	Mon Oct 10 14:43:45 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/watcher.ML	Mon Oct 10 15:35:29 2005 +0200
     1.3 @@ -350,8 +350,7 @@
     1.4  	  (goals_being_watched := !goals_being_watched - 1;
     1.5  	   if !goals_being_watched = 0
     1.6  	   then 
     1.7 -	     (debug ("\nReaping a watcher, childpid = "^
     1.8 -		     Int.toString (ResLib.intOfPid childpid));
     1.9 +	     (debug ("\nReaping a watcher, childpid = " ^ string_of_pid childpid);
    1.10  	      killWatcher childpid (*???; reapWatcher (childpid, childin, childout)*) )
    1.11  	    else ())
    1.12       val _ = debug ("subgoals forked to createWatcher: "^ prems_string_of th);