-matitaEngine.cmo: matitaTypes.cmi matitaSync.cmi matitaMisc.cmi matitaLog.cmi \
- matitaDisambiguator.cmi matitaDb.cmi matitaEngine.cmi
-matitaEngine.cmx: matitaTypes.cmx matitaSync.cmx matitaMisc.cmx matitaLog.cmx \
- matitaDisambiguator.cmx matitaDb.cmx matitaEngine.cmi
+matitaEngine.cmo: matitacleanLib.cmi matitaTypes.cmi matitaSync.cmi \
+ matitaMisc.cmi matitaLog.cmi matitaDisambiguator.cmi matitaDb.cmi \
+ matitaEngine.cmi
+matitaEngine.cmx: matitacleanLib.cmx matitaTypes.cmx matitaSync.cmx \
+ matitaMisc.cmx matitaLog.cmx matitaDisambiguator.cmx matitaDb.cmx \
+ matitaEngine.cmi