src/ZF/UNITY/ROOT.ML

--- a/src/ZF/UNITY/ROOT.ML	Thu Jun 19 18:40:39 2003 +0200
+++ b/src/ZF/UNITY/ROOT.ML	Fri Jun 20 12:10:45 2003 +0200
@@ -20,3 +20,4 @@
 time_use_thy "Distributor";
 time_use_thy "Merge";
 time_use_thy "ClientImpl";
+time_use_thy "AllocImpl";