-matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi
-matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi
-matitaDisambiguator.cmo: matitaTypes.cmi matitaDisambiguator.cmi
-matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi
-matitaEngine.cmo: matitaTypes.cmi matitaSync.cmi matitaMisc.cmi \
- matitaDisambiguator.cmi matitaEngine.cmi
-matitaEngine.cmx: matitaTypes.cmx matitaSync.cmx matitaMisc.cmx \
- matitaDisambiguator.cmx matitaEngine.cmi
-matitaExcPp.cmo: matitaTypes.cmi matitaDisambiguator.cmi matitaExcPp.cmi
-matitaExcPp.cmx: matitaTypes.cmx matitaDisambiguator.cmx matitaExcPp.cmi
+matitadep.cmo: matitaInit.cmi matitadep.cmi
+matitadep.cmx: matitaInit.cmx matitadep.cmi
+matitaEngine.cmo: matitaEngine.cmi
+matitaEngine.cmx: matitaEngine.cmi
+matitaExcPp.cmo: matitaExcPp.cmi
+matitaExcPp.cmx: matitaExcPp.cmi