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