# HG changeset patch
# User wenzelm
# Date 1285018115 -7200
# Node ID c77b9374f45cbea4adcb17e8f52fc8da56576b63
# Parent  91b23d141dbfcf791f914203f6c378b997e2fc83
tuned;

diff -r 91b23d141dbf -r c77b9374f45c src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Mon Sep 20 21:54:58 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Mon Sep 20 23:28:35 2010 +0200
@@ -198,7 +198,7 @@
   def interrupt()
   {
     pid match {
-      case None => system_result("Cannot interrupt Isabelle: unknowd pid")
+      case None => system_result("Cannot interrupt Isabelle: unknown pid")
       case Some(i) =>
         try {
           if (system.execute(true, "kill", "-INT", i).waitFor == 0)