From: Kim Nguyễn Date: Sun, 10 Mar 2013 09:51:48 +0000 (+0100) Subject: Add a missing ';' and remove some dead code and outdated comments. X-Git-Tag: v0.1~150 X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=90abd87dee295c60122d5dc1cfc6c27d1d92e903;hp=97cc08246d4a73e9cc9070f645a351799b7340d1 Add a missing ';' and remove some dead code and outdated comments. --- diff --git a/src/main.ml b/src/main.ml index af1c930..100581e 100644 --- a/src/main.ml +++ b/src/main.ml @@ -14,21 +14,9 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) -(** use: xml_file "XPath querie" - or : xml_file -f XPath_querie_file - only the first line of XPath_querie_file is read -*) - -module F = Auto.Formula -module A = Auto.Ata -module X = Xpath.Compile - -(* to force ocaml build to add Formula to the dependency chain even if - we don't use it yet*) - let doc = let fd = open_in Sys.argv.(1) in let d = Tree.Naive.load_xml_file fd in @@ -50,7 +38,7 @@ let () = fprintf err_formatter "Evaluating automaton:\n%!"; let module Naive = Auto.Eval.Make(Tree.Naive) in let results = Naive.eval auto doc (Tree.Naive.root doc) in - output_string stdout "\n" + output_string stdout "\n"; List.iter (fun n -> Tree.Naive.print_xml stdout doc n; output_char stdout '\n' diff --git a/tools/Makefile b/tools/Makefile deleted file mode 100644 index 89d8986..0000000 --- a/tools/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -all: XPathEval.class xml_diff - - -xml_diff: xml_diff.ml - ocamlfind ocamlopt -o xml_diff -package expat -linkpkg xml_diff.ml - -XPathEval.class: XPathEval.java - javac XPathEval.java - - -clean: - rm -f XPathEval.class xml_diff *.o *.cm*