X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Ftest.ml;h=c6bdaa1c98ddd67682749ec4a033441d5ae62388;hb=d4e704decf927be044d72a6fe4314aea3c8125a5;hp=42dc011990d5a86b0baa17775f04e095f36ab000;hpb=5cfe8f8725b83eadae6923a10929b5db9204049c;p=tatoo.git diff --git a/src/test.ml b/src/test.ml index 42dc011..c6bdaa1 100644 --- a/src/test.ml +++ b/src/test.ml @@ -55,7 +55,7 @@ let () = let doc = doc () in let query = query () in let asta = build_asta query in - let run = compute_run doc asta in + let run = compute_run doc asata in let selected_nodes = Run.selected_nodes doc asta in Format.pp_set_margin err_formatter 80; fprintf err_formatter "@[##### Query #####@. %a@]\n"