src/HOL/Tools/watcher.ML
changeset 25414 3326bd7ecd48
parent 25413 df27d19c35dd
child 25551 87d89b0f847a
     1.1 --- a/src/HOL/Tools/watcher.ML	Mon Nov 12 20:10:34 2007 +0100
     1.2 +++ b/src/HOL/Tools/watcher.ML	Mon Nov 12 21:09:32 2007 +0100
     1.3 @@ -407,7 +407,7 @@
     1.4  	       decr_watched())
     1.5         end
     1.6   in Output.debug (fn () => ("subgoals forked to createWatcher: "^ prems_string_of th));
     1.7 -    IsaSignal.signal (IsaSignal.usr1, IsaSignal.SIG_HANDLE proofHandler);
     1.8 +    IsaSignal.signal (IsaSignal.usr2, IsaSignal.SIG_HANDLE proofHandler);
     1.9      (childin, childout, childpid)
    1.10    end
    1.11