X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2F.depend;h=8b6a29e08467cf78f64fd3784db7badf2699dbfa;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=508403bdc061e8de0dcc969136790d3d682c149d;hpb=ffb569818f6e4d9723dbd2c1721bbe80e75278e9;p=helm.git

diff --git a/helm/searchEngine/.depend b/helm/searchEngine/.depend
index 508403bdc..8b6a29e08 100644
--- a/helm/searchEngine/.depend
+++ b/helm/searchEngine/.depend
@@ -1,2 +1,4 @@
 mooglePp.cmo: mooglePp.cmi 
 mooglePp.cmx: mooglePp.cmi 
+searchEngine.cmo: mooglePp.cmi 
+searchEngine.cmx: mooglePp.cmx