X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2F.depend;h=af62a9fcb23a51fb8520872784b7299ef4f90f1a;hb=60c7321771851b82493bb202185ee184f1e7a3d1;hp=9824aa72abbde9f1fbcfc4a58222b4d7725a3eaf;hpb=75f24bc40a8b7b1d00e6e88cb9a7b08c6551cac7;p=helm.git

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index 9824aa72a..af62a9fcb 100644
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -12,8 +12,8 @@ texTermEditor.cmx: disambiguate.cmx texTermEditor.cmi
 texTermEditor.cmi: disambiguate.cmi 
 xmlDiff.cmo: xmlDiff.cmi 
 xmlDiff.cmx: xmlDiff.cmi 
-termViewer.cmo: logicalOperations.cmi termViewer.cmi 
-termViewer.cmx: logicalOperations.cmx termViewer.cmi 
+termViewer.cmo: logicalOperations.cmi xmlDiff.cmi termViewer.cmi 
+termViewer.cmx: logicalOperations.cmx xmlDiff.cmx termViewer.cmi 
 invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \
     termViewer.cmi invokeTactics.cmi 
 invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \