X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=depend;fp=depend;h=63f90bf829f759ae925de046bd19bd5d7593862c;hb=b8aa8e7f1036cf00d0fadc75ccbe0264bae6c1b2;hp=8cdff3e82f27260ae4864beb9a32e17da8c2d38d;hpb=25dd7fcc77c2188732d96d5ff98d759bb81737cb;p=SXSI%2Fxpathcomp.git

diff --git a/depend b/depend
index 8cdff3e..63f90bf 100644
--- a/depend
+++ b/depend
@@ -6,6 +6,8 @@ memoizer.cmo: memoizer.cmi
 memoizer.cmx: memoizer.cmi 
 hcons.cmo: hcons.cmi 
 hcons.cmx: hcons.cmi 
+hlist.cmo: hcons.cmi hlist.cmi 
+hlist.cmx: hcons.cmx hlist.cmi 
 ptset.cmo: hcons.cmi ptset.cmi 
 ptset.cmx: hcons.cmx ptset.cmi 
 finiteCofinite.cmo: sigs.cmi finiteCofinite.cmi 
@@ -18,18 +20,21 @@ 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 hcons.cmi ata.cmi 
-ata.cmx: tree.cmx tagSet.cmx tag.cmx sigs.cmi ptset.cmx hcons.cmx ata.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 
 ulexer.cmo: ulexer.cmi 
 ulexer.cmx: ulexer.cmi 
-xPath.cmo: ulexer.cmi tagSet.cmi tag.cmi ptset.cmi ata.cmi xPath.cmi 
-xPath.cmx: ulexer.cmx tagSet.cmx tag.cmx ptset.cmx ata.cmx xPath.cmi 
+xPath.cmo: ulexer.cmi tagSet.cmi tag.cmi ata.cmi xPath.cmi 
+xPath.cmx: ulexer.cmx tagSet.cmx tag.cmx ata.cmx xPath.cmi 
 main.cmo: xPath.cmi ulexer.cmi tree.cmi tag.cmi options.cmi ata.cmi 
 main.cmx: xPath.cmx ulexer.cmx tree.cmx tag.cmx options.cmx ata.cmx 
 memory.cmi: 
 sigs.cmi: 
 memoizer.cmi: 
 hcons.cmi: 
+hlist.cmi: hcons.cmi 
 ptset.cmi: hcons.cmi 
 finiteCofinite.cmi: sigs.cmi 
 tag.cmi: 
@@ -38,4 +43,4 @@ options.cmi:
 tree.cmi: tag.cmi ptset.cmi 
 ata.cmi: tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi 
 ulexer.cmi: 
-xPath.cmi: tagSet.cmi tag.cmi ptset.cmi ata.cmi 
+xPath.cmi: tagSet.cmi tag.cmi ata.cmi