1. Method screenshot moved to CicMathView where it belongs to.

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

diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt
index 5b87b1e69968e689d2edde62132343be93deba8a..42bbf72a0f4ab6ed404f24305a0329261c8150db 100644 (file)
--- a/matita/matita/.depend.opt
+++ b/matita/matita/.depend.opt
@@ -47,9 +47,9 @@ matita.cmx: predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \
     matitaMathView.cmx matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx \
     buildTimeConf.cmx 
 matitaScript.cmo: virtuals.cmi matitaTypes.cmi matitaGtkMisc.cmi \
-    matitaEngine.cmi buildTimeConf.cmx matitaScript.cmi 
+    matitaEngine.cmi cicMathView.cmi buildTimeConf.cmx matitaScript.cmi 
 matitaScript.cmx: virtuals.cmx matitaTypes.cmx matitaGtkMisc.cmx \
-    matitaEngine.cmx buildTimeConf.cmx matitaScript.cmi 
+    matitaEngine.cmx cicMathView.cmx buildTimeConf.cmx matitaScript.cmi 
 matitaTypes.cmo: matitaTypes.cmi 
 matitaTypes.cmx: matitaTypes.cmi 
 predefined_virtuals.cmo: virtuals.cmi predefined_virtuals.cmi