Use of standard OCaml syntax

[helm.git] / matita / matita / .depend.opt

diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt
index f1994ce595bd41e306aae2c28d10bfb7a7b36b93..f8e5bb681d0cf67c647faa9eb092fb596391e493 100644 (file)
--- 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 :