memoizer.cmx: memoizer.cmi
hcons.cmo: hcons.cmi
hcons.cmx: hcons.cmi
+memhashtbl.cmo: hcons.cmi memhashtbl.cmi
+memhashtbl.cmx: hcons.cmx memhashtbl.cmi
hlist.cmo: hcons.cmi hlist.cmi
hlist.cmx: hcons.cmx hlist.cmi
ptset.cmo: hcons.cmi ptset.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
sigs.cmi:
memoizer.cmi:
hcons.cmi:
+memhashtbl.cmo: hcons.cmi memhashtbl.cmi
+memhashtbl.cmx: hcons.cmx memhashtbl.cmi
hlist.cmi: hcons.cmi
ptset.cmi: hcons.cmi
finiteCofinite.cmi: sigs.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