diff -r a30b7169fdd1 -r 7ad7d7d6df47 Admin/check_ml_headers
--- a/Admin/check_ml_headers	Sat Oct 04 16:19:49 2008 +0200
+++ b/Admin/check_ml_headers	Sat Oct 04 17:40:56 2008 +0200
@@ -19,7 +19,7 @@
   REPORT_EMPTY=1
 fi
 
-ISABELLE_SRC="$(isatool getenv -b ISABELLE_HOME)/src/"
+ISABELLE_SRC="$(isabelle getenv -b ISABELLE_HOME)/src/"
 
 for LOC in $(find "$ISABELLE_SRC" -name "*.ML")
 do