-tree.cmo: tag.cmi options.cmi tree.cmi
-tree.cmx: tag.cmx options.cmx tree.cmi
-ata.cmo: tree.cmi tagSet.cmi tag.cmi ptset.cmi ata.cmi
-ata.cmx: tree.cmx tagSet.cmx tag.cmx ptset.cmx ata.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