snopshot (working one!)

[helm.git] / matita / .depend.opt

diff --git a/matita/.depend.opt b/matita/.depend.opt
index d8ff0ac75e8c49924e9c10eee2ad97f7dc31da63..44da8ef2bf140ffa487ba663c3c830d2bf520d01 100644 (file)
--- a/matita/.depend.opt
+++ b/matita/.depend.opt
@@ -22,8 +22,8 @@ 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 
+matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi 
+matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi 
 matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmx buildTimeConf.cmx \
     matitaGtkMisc.cmi 
 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \