X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2F.depend.opt;h=f1994ce595bd41e306aae2c28d10bfb7a7b36b93;hb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;hp=6f4370e5227d408ff2dc52207ba66b36c17a587a;hpb=aad5588b82d0f2991c336f7ac2f3fadd76768eeb;p=helm.git

diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt
index 6f4370e52..f1994ce59 100644
--- a/matita/matita/.depend.opt
+++ b/matita/matita/.depend.opt
@@ -21,7 +21,6 @@ matita.cmx : \
     matitaMisc.cmx \
     matitaInit.cmx \
     matitaGui.cmx \
-    matitaGtkMisc.cmx \
     buildTimeConf.cmx \
     applyTransformation.cmx
 matitaEngine.cmx : \
@@ -35,7 +34,6 @@ matitaExcPp.cmx : \
 matitaExcPp.cmi :
 matitaGeneratedGui.cmx :
 matitaGtkMisc.cmx : \
-    matitaTypes.cmx \
     matitaGeneratedGui.cmx \
     buildTimeConf.cmx \
     matitaGtkMisc.cmi
@@ -54,6 +52,7 @@ matitaGui.cmx : \
     matitaGui.cmi
 matitaGui.cmi : \
     matitaGuiTypes.cmi
+matitaGuiInit.cmx :
 matitaGuiTypes.cmi : \
     matitaGeneratedGui.cmx \
     applyTransformation.cmi