X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2F.depend.opt;h=44da8ef2bf140ffa487ba663c3c830d2bf520d01;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=d8ff0ac75e8c49924e9c10eee2ad97f7dc31da63;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/matita/.depend.opt b/matita/.depend.opt
index d8ff0ac75..44da8ef2b 100644
--- 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 \