X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftest.ml;h=42dc011990d5a86b0baa17775f04e095f36ab000;hp=c6bdaa1c98ddd67682749ec4a033441d5ae62388;hb=f0ade855300b9d9a67a31c119a9b505213743b30;hpb=d4e704decf927be044d72a6fe4314aea3c8125a5 diff --git a/src/test.ml b/src/test.ml index c6bdaa1..42dc011 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 asata in + let run = compute_run doc asta in let selected_nodes = Run.selected_nodes doc asta in Format.pp_set_margin err_formatter 80; fprintf err_formatter "@[##### Query #####@. %a@]\n"