X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=one_benchmark;h=1c401c6b7781da28448f0bd7378d467eac3f3e24;hb=refs%2Fheads%2Flucca-optim;hp=1affafc2be671d8e26302e6776dee944f7f5f8fd;hpb=23f38d4b2cbe1da33efab3c04df478ecd0f20894;p=tatoo.git

diff --git a/one_benchmark b/one_benchmark
index 1affafc..1c401c6 100755
--- a/one_benchmark
+++ b/one_benchmark
@@ -1 +1 @@
-/usr/bin/time -l  ./solve.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl
\ No newline at end of file
+/usr/bin/time -l  ./bench.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl
\ No newline at end of file