diff -r 9cf389429f6d -r 9aa8bfb1649d Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Tue Oct 20 19:52:04 2009 +0200
+++ b/Admin/isatest/isatest-stats	Tue Oct 20 20:03:23 2009 +0200
@@ -27,7 +27,7 @@
   HOL-Nominal-Examples \
   HOL-Number_Theory \
   HOL-Old_Number_Theory \
-  HOL-SET-Protocol \
+  HOL-SET_Protocol \
   HOL-UNITY \
   HOL-Word \
   HOL-ex \