X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2F.depend.opt;h=f8e5bb681d0cf67c647faa9eb092fb596391e493;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=f1994ce595bd41e306aae2c28d10bfb7a7b36b93;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt
index f1994ce59..f8e5bb681 100644
--- a/matita/matita/.depend.opt
+++ b/matita/matita/.depend.opt
@@ -83,6 +83,9 @@ matitaMisc.cmx : \
     matitaMisc.cmi
 matitaMisc.cmi : \
     matitaGuiTypes.cmi
+matitaMiscCli.cmx : \
+    matitaMiscCli.cmi
+matitaMiscCli.cmi :
 matitaScript.cmx : \
     virtuals.cmx \
     matitaTypes.cmx \
@@ -99,12 +102,12 @@ matitaTypes.cmx : \
 matitaTypes.cmi :
 matitac.cmx : \
     matitaclean.cmx \
-    matitaMisc.cmx \
+    matitaMiscCli.cmx \
     matitaInit.cmx \
     matitaExcPp.cmx \
     matitaEngine.cmx
 matitaclean.cmx : \
-    matitaMisc.cmx \
+    matitaMiscCli.cmx \
     matitaInit.cmx \
     matitaclean.cmi
 matitaclean.cmi :