X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=correct_test;h=ec62b8ae6c511d8220d7e2f5a00a7fe1b8118ccf;hp=d28ee737c9104f8f7fc9b5e846c61f2f86728d2d;hb=a43a51c51314468a47a36904c2b904f5a9a14bca;hpb=d4e704decf927be044d72a6fe4314aea3c8125a5

diff --git a/correct_test b/correct_test
index d28ee73..ec62b8a 100755
--- a/correct_test
+++ b/correct_test
@@ -1 +1 @@
-./solve.native ./tests/docs/XPath-FT.xml -f ./tests/queries/XPath-FT.queries
\ No newline at end of file
+./solve.native ./tests/docs/XPath-FT.xml -f ./tests/queries/XPath-FT.queries 1
\ No newline at end of file