removed cruft, fixed ptset.ml

[SXSI/xpathcomp.git] / benchmark / depend

diff --git a/benchmark/depend b/benchmark/depend
index 35976b3..7526dc6 100644 (file)
--- 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