X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2F.depend.opt;h=6de02fb28dab99aba2381388f0d91cd8a86b39f1;hb=f34f2623a3133e235331d0c0c1830ec213dd09f1;hp=5c7d0715ae4df145104d4cd4a5db2d7384bd1328;hpb=7e6fea0332e132a8cb89c689ba68c5e884c4354c;p=helm.git

diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt
index 5c7d0715a..6de02fb28 100644
--- a/matita/matita/.depend.opt
+++ b/matita/matita/.depend.opt
@@ -21,6 +21,7 @@ matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
     matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
     matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
 matitaGui.cmi : matitaGuiTypes.cmi
+matitaGuiInit.cmx :
 matitaGuiTypes.cmi : matitaGeneratedGui.cmx applyTransformation.cmi
 matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
 matitaInit.cmi :