X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftest.ml;h=e6cd725eb629f3de3475d6ba9a431e9547d8dbff;hp=f20e471dca116f3cea9c59178622e7523a084a6e;hb=c4a733a7ffde6dfbc66b02124e204e3945ed33a4;hpb=8ea5ba2ff786907b1859fb7f8dd0a0342a369cbf diff --git a/src/test.ml b/src/test.ml index f20e471..e6cd725 100644 --- a/src/test.ml +++ b/src/test.ml @@ -52,8 +52,8 @@ let compute_run doc query = run let () = - let query = query () in let doc = doc () in + let query = query () in let asta = build_asta query in let run = compute_run doc asta in fprintf err_formatter "@[##### Query #####@. %a@]\n"