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

diff --git a/depend b/depend
index fa95f37..8cdff3e 100644
--- a/depend
+++ b/depend
@@ -1,26 +1,41 @@
 memory.cmo: memory.cmi 
 memory.cmx: memory.cmi 
+custom.cmo: sigs.cmi 
+custom.cmx: sigs.cmi 
+memoizer.cmo: memoizer.cmi 
+memoizer.cmx: memoizer.cmi 
+hcons.cmo: hcons.cmi 
+hcons.cmx: hcons.cmi 
+ptset.cmo: hcons.cmi ptset.cmi 
+ptset.cmx: hcons.cmx ptset.cmi 
+finiteCofinite.cmo: sigs.cmi finiteCofinite.cmi 
+finiteCofinite.cmx: sigs.cmi finiteCofinite.cmi 
 tag.cmo: tag.cmi 
 tag.cmx: tag.cmi 
-tagSet.cmo: tag.cmi tagSet.cmi 
-tagSet.cmx: tag.cmx tagSet.cmi 
+tagSet.cmo: tag.cmi ptset.cmi finiteCofinite.cmi tagSet.cmi 
+tagSet.cmx: tag.cmx ptset.cmx finiteCofinite.cmx tagSet.cmi 
 options.cmo: options.cmi 
 options.cmx: options.cmi 
-tree.cmo: tag.cmi options.cmi tree.cmi 
-tree.cmx: tag.cmx options.cmx tree.cmi 
-automaton.cmo: tree.cmi tagSet.cmi tag.cmi automaton.cmi 
-automaton.cmx: tree.cmx tagSet.cmx tag.cmx automaton.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 
 ulexer.cmo: ulexer.cmi 
 ulexer.cmx: ulexer.cmi 
-xPath.cmo: ulexer.cmi tree.cmi tagSet.cmi tag.cmi automaton.cmi xPath.cmi 
-xPath.cmx: ulexer.cmx tree.cmx tagSet.cmx tag.cmx automaton.cmx xPath.cmi 
-main.cmo: xPath.cmi ulexer.cmi tree.cmi tag.cmi options.cmi automaton.cmi 
-main.cmx: xPath.cmx ulexer.cmx tree.cmx tag.cmx options.cmx automaton.cmx 
+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 
+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: 
-options.cmi: 
-automaton.cmi: tree.cmi tagSet.cmi 
+sigs.cmi: 
+memoizer.cmi: 
+hcons.cmi: 
+ptset.cmi: hcons.cmi 
+finiteCofinite.cmi: sigs.cmi 
 tag.cmi: 
-tagSet.cmi: tag.cmi 
-tree.cmi: 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 
 ulexer.cmi: 
-xPath.cmi: tagSet.cmi automaton.cmi 
+xPath.cmi: tagSet.cmi tag.cmi ptset.cmi ata.cmi