X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmain.ml;fp=src%2Fmain.ml;h=100d0e403109604cac5bd28dd61a2e4ed7213be5;hb=83e9f9d8f219fece86afbedd1332d5ad97971d1c;hp=cc14ce2c229779ddfefe58e80468f5377c2e903f;hpb=9d19c60e10c9572885509b35c2b72f362968d6ab;p=SXSI%2Fxpathcomp.git

diff --git a/src/main.ml b/src/main.ml
index cc14ce2..100d0e4 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -140,7 +140,7 @@ let _ =
 	  ~msg:"Loading file"
 	  (Tree.load
 	     ~sample:!Options.sample_factor
-	     ~load_text:true)
+	     ~load_text:(not !Options.disable_text_collection))
 	  !Options.input_file
       else
 	let v =