X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fdepend;h=7526dc6c493df7ed3b4270b287e01b1d54bd49ca;hb=25dd7fcc77c2188732d96d5ff98d759bb81737cb;hp=35976b345f5e0bf9dee60ccbf0424b767d2485f0;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/depend b/benchmark/depend
index 35976b3..7526dc6 100644
--- a/benchmark/depend
+++ b/benchmark/depend
@@ -1,4 +1,2 @@
 benchmark.cmo: benchmark.cmi 
 benchmark.cmx: benchmark.cmi 
-main.cmo: benchmark.cmi 
-main.cmx: benchmark.cmx