Porting to ocaml 5

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

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