X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=depend;h=62572f729fb224f7507165ddfe234f3c0849c1af;hb=f0557f21878be17ddc75b1bc8f4f86da68c8e604;hp=63f90bf829f759ae925de046bd19bd5d7593862c;hpb=b8aa8e7f1036cf00d0fadc75ccbe0264bae6c1b2;p=SXSI%2Fxpathcomp.git

diff --git a/depend b/depend
index 63f90bf..62572f7 100644
--- a/depend
+++ b/depend
@@ -20,10 +20,10 @@ options.cmo: options.cmi
 options.cmx: options.cmi 
 tree.cmo: tag.cmi ptset.cmi options.cmi tree.cmi 
 tree.cmx: tag.cmx ptset.cmx options.cmx tree.cmi 
-ata.cmo: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi memoizer.cmi \
-    hlist.cmi hcons.cmi ata.cmi 
-ata.cmx: tree.cmx tagSet.cmx tag.cmx sigs.cmi ptset.cmx memoizer.cmx \
-    hlist.cmx hcons.cmx ata.cmi 
+ata.cmo: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi hcons.cmi \
+    ata.cmi 
+ata.cmx: tree.cmx tagSet.cmx tag.cmx sigs.cmi ptset.cmx hlist.cmx hcons.cmx \
+    ata.cmi 
 ulexer.cmo: ulexer.cmi 
 ulexer.cmx: ulexer.cmi 
 xPath.cmo: ulexer.cmi tagSet.cmi tag.cmi ata.cmi xPath.cmi 
@@ -41,6 +41,6 @@ tag.cmi:
 tagSet.cmi: tag.cmi ptset.cmi finiteCofinite.cmi 
 options.cmi: 
 tree.cmi: tag.cmi ptset.cmi 
-ata.cmi: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi 
+ata.cmi: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi 
 ulexer.cmi: 
 xPath.cmi: tagSet.cmi tag.cmi ata.cmi