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

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index d629a155e..9824aa72a 100644
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -10,6 +10,8 @@ termEditor.cmi: disambiguate.cmi
 texTermEditor.cmo: disambiguate.cmi texTermEditor.cmi 
 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 
 invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \