memory.cmo: memory.cmi
memory.cmx: memory.cmi
+custom.cmo: sigs.cmi
+custom.cmx: sigs.cmi
+ptset.cmo: ptset.cmi
+ptset.cmx: ptset.cmi
+finiteCofinite.cmo: sigs.cmi finiteCofinite.cmi
+finiteCofinite.cmx: sigs.cmi finiteCofinite.cmi
tag.cmo: tag.cmi
tag.cmx: tag.cmi
-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
ulexer.cmo: ulexer.cmi
ulexer.cmx: ulexer.cmi
-xPath.cmo: ulexer.cmi tree.cmi tagSet.cmi tag.cmi automaton.cmi xPath.cmi
-xPath.cmx: ulexer.cmx tree.cmx tagSet.cmx tag.cmx automaton.cmx xPath.cmi
-main.cmo: xPath.cmi ulexer.cmi tree.cmi tag.cmi automaton.cmi
-main.cmx: xPath.cmx ulexer.cmx tree.cmx tag.cmx automaton.cmx
-automaton.cmi: tree.cmi tagSet.cmi
-tagSet.cmi: tag.cmi
+xPath.cmo: ulexer.cmi tagSet.cmi tag.cmi ptset.cmi ata.cmi xPath.cmi
+xPath.cmx: ulexer.cmx tagSet.cmx tag.cmx ptset.cmx ata.cmx xPath.cmi
+main.cmo: xPath.cmi ulexer.cmi tree.cmi tag.cmi options.cmi
+main.cmx: xPath.cmx ulexer.cmx tree.cmx tag.cmx options.cmx
+memory.cmi:
+sigs.cmi:
+ptset.cmi:
+finiteCofinite.cmo: sigs.cmi finiteCofinite.cmi
+finiteCofinite.cmx: sigs.cmi finiteCofinite.cmi
+options.cmi:
+tag.cmi:
+tagSet.cmi: tag.cmi finiteCofinite.cmi
tree.cmi: tag.cmi
-xPath.cmi: tagSet.cmi automaton.cmi
+ata.cmi: tree.cmi tagSet.cmi ptset.cmi
+ulexer.cmi:
+xPath.cmi: tagSet.cmi ata.cmi