X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fmain.ml;h=100d0e403109604cac5bd28dd61a2e4ed7213be5;hb=refs%2Fheads%2Fnew-xml-tree;hp=cc14ce2c229779ddfefe58e80468f5377c2e903f;hpb=a145e1cff02534a93be2544303551c7ea94f0083;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 =