diff -r 15ce93dfe6da -r 9f492f5b0cec Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Sat Mar 17 12:26:19 2012 +0100
+++ b/Admin/isatest/isatest-stats	Sat Mar 17 12:52:40 2012 +0100
@@ -32,7 +32,7 @@
   HOL-Isar_Examples
   HOL-Lattice
   HOL-Library-Codegenerator_Test
-  HOL-Matrix
+  HOL-Matrix_LP
   HOL-Metis_Examples
   HOL-MicroJava
   HOL-Mirabelle