X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2F.depend;h=8b6a29e08467cf78f64fd3784db7badf2699dbfa;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;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