X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fdepend;fp=benchmark%2Fdepend;h=0000000000000000000000000000000000000000;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=7526dc6c493df7ed3b4270b287e01b1d54bd49ca;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/depend b/benchmark/depend
deleted file mode 100644
index 7526dc6..0000000
--- a/benchmark/depend
+++ /dev/null
@@ -1,2 +0,0 @@
-benchmark.cmo: benchmark.cmi 
-benchmark.cmx: benchmark.cmi