+++ /dev/null
-memory.cmo: memory.cmi
-memory.cmx: memory.cmi
-uid.cmo: uid.cmi
-uid.cmx: uid.cmi
-custom.cmo: sigs.cmi
-custom.cmx: sigs.cmi
-hcons.cmo: uid.cmi hcons.cmi
-hcons.cmx: uid.cmx hcons.cmi
-hlist.cmo: uid.cmi hcons.cmi hlist.cmi
-hlist.cmx: uid.cmx hcons.cmx hlist.cmi
-ptset.cmo: uid.cmi hcons.cmi ptset.cmi
-ptset.cmx: uid.cmx hcons.cmx ptset.cmi
-finiteCofinite.cmo: uid.cmi ptset.cmi hcons.cmi finiteCofinite.cmi
-finiteCofinite.cmx: uid.cmx ptset.cmx hcons.cmx finiteCofinite.cmi
-tag.cmo: tag.cmi
-tag.cmx: tag.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: uid.cmi tag.cmi ptset.cmi options.cmi tree.cmi
-tree.cmx: uid.cmx tag.cmx ptset.cmx options.cmx tree.cmi
-ata.cmo: uid.cmi tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi \
- hcons.cmi ata.cmi
-ata.cmx: uid.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
-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:
-uid.cmi:
-sigs.cmi:
-hcons.cmi: uid.cmi
-hlist.cmi: uid.cmi hcons.cmi
-ptset.cmi: uid.cmi hcons.cmi
-finiteCofinite.cmi: uid.cmi ptset.cmi
-tag.cmi:
-tagSet.cmi: tag.cmi ptset.cmi finiteCofinite.cmi
-options.cmi:
-tree.cmi: tag.cmi ptset.cmi
-ata.cmi: uid.cmi tree.cmi tagSet.cmi tag.cmi sigs.cmi ptset.cmi hlist.cmi
-ulexer.cmi:
-xPath.cmi: tagSet.cmi tag.cmi ata.cmi