X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftest.ml;h=42dc011990d5a86b0baa17775f04e095f36ab000;hp=c6bdaa1c98ddd67682749ec4a033441d5ae62388;hb=a43a51c51314468a47a36904c2b904f5a9a14bca;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"