X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;fp=main.ml;h=0573e4ae3faa08bb95d1b85abe8ceaed6f115636;hb=92fa1dfd894ed2903541d665bd40919ae154f285;hp=e88422567bb77f3897454e8a35049dc3aceefec1;hpb=53691cf70378877961b99828f006399801ad4968;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index e884225..0573e4a 100644
--- a/main.ml
+++ b/main.ml
@@ -264,5 +264,3 @@ in
 
 
 
-
-let () = Printf.printf "Hello World!\n"