X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fdepend;h=7526dc6c493df7ed3b4270b287e01b1d54bd49ca;hb=0c2338bfcdae0df1c68112a10247dc4e68a483ff;hp=9572b5f14d424d9e2c9538d5e0c60b5bcc72a66b;hpb=95367aa932a9e179976e59ea326542c50905f5b3;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/depend b/benchmark/depend
index 9572b5f..7526dc6 100644
--- a/benchmark/depend
+++ b/benchmark/depend
@@ -1,5 +1,2 @@
 benchmark.cmo: benchmark.cmi 
 benchmark.cmx: benchmark.cmi 
-main.cmo: benchmark.cmi 
-main.cmx: benchmark.cmx 
-benchmark.cmi: