# HG changeset patch
# User wenzelm
# Date 1158778949 -7200
# Node ID 5079b9ee1ef5105e33519953ec70ad29a98c6b08
# Parent  742c30fc3fcbce521540a71dded9e7b1e64298e9
added ZF-UNITY;

diff -r 742c30fc3fcb -r 5079b9ee1ef5 Admin/isatest-stats
--- a/Admin/isatest-stats	Wed Sep 20 15:11:46 2006 +0200
+++ b/Admin/isatest-stats	Wed Sep 20 21:02:29 2006 +0200
@@ -24,7 +24,8 @@
   HOL-UNITY \
   HOL-ex \
   ZF \
-  ZF-Constructible"
+  ZF-Constructible\
+  ZF-UNITY"
 
 for PLATFORM in $PLATFORMS
 do