-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