From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Mon, 16 Jul 2012 13:22:04 +0000 (+0200)
Subject: minor
X-Git-Tag: Core+Extentions+Optim-hconsed_V1~1^2~3
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=e419425bbcc588f0bdce511e3c39443f8586f213

minor
---

diff --git a/bench_test b/bench_test
index b3b7bb8..b1103ec 100755
--- a/bench_test
+++ b/bench_test
@@ -1,7 +1,7 @@
 #echo \#\#\# DOC :
 #cat ./tests/docs/XPath-PT.xml
 #echo 
-for quer in ./tests/queries/XPath-PT/A1.xpl ; do
+for quer in ./tests/queries/XPath-PT/A*.xpl ; do
     echo $quer:
     cat "$quer"
     ./solve.native ./tests/docs/XPath-PT.xml -f "$quer"