# HG changeset patch
# User wenzelm
# Date 1118497371 -7200
# Node ID f321def7279ce733ffcf73b2d537b8be79d0fe5d
# Parent  cb31cb768a6c270bfc9e643daf8f1759b99a7d29
fixed spelling;

diff -r cb31cb768a6c -r f321def7279c Admin/isatest-check
--- a/Admin/isatest-check	Sat Jun 11 12:55:25 2005 +0200
+++ b/Admin/isatest-check	Sat Jun 11 15:42:51 2005 +0200
@@ -68,7 +68,7 @@
 
     for R in $MAILTO; do
         LOGS=$ERRORDIR/isatest*.log
-        $MAIL "isabelle test taking to long" $R $TMP $LOGS
+        $MAIL "isabelle test taking too long" $R $TMP $LOGS
     done
     
     exit 1