-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