snopshot (working one!)

[helm.git] / matita / .depend

diff --git a/matita/.depend b/matita/.depend
index 84e4f1d2e7ed7eb2c805c56b44d32fc08ec12a0d..3d42927cd8adb32aef05056032d0e7d0176e06ed 100644 (file)
--- a/matita/.depend
+++ b/matita/.depend
@@ -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.cmo buildTimeConf.cmo \
     matitaGtkMisc.cmi 
 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \