added support for directory browsing in cicBrowser

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

diff --git a/helm/matita/.depend b/helm/matita/.depend
index 483301181c6f24bd87459fde7c7ee25e9fbd0fae..be6811b19a5d420452b0814ceb1d21107a11c063 100644 (file)
--- a/helm/matita/.depend
+++ b/helm/matita/.depend
@@ -1,8 +1,8 @@
 matitaCicMisc.cmo: matitaTypes.cmi matitaCicMisc.cmi 
 matitaCicMisc.cmx: matitaTypes.cmx matitaCicMisc.cmi 
-matitac.cmo: matitaTypes.cmi matitaMisc.cmi matitaInterpreter.cmi \
+matitac.cmo: matitaTypes.cmi matitaInterpreter.cmi matitaDb.cmi \
     buildTimeConf.cmo 
-matitac.cmx: matitaTypes.cmx matitaMisc.cmx matitaInterpreter.cmx \
+matitac.cmx: matitaTypes.cmx matitaInterpreter.cmx matitaDb.cmx \
     buildTimeConf.cmx 
 matitaConsole.cmo: matitaTypes.cmi matitaMisc.cmi matitaGtkMisc.cmi \
     buildTimeConf.cmo matitaConsole.cmi