X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmain.ml;fp=src%2Fmain.ml;h=cd3d275db15c65f3e40ce4dd19c8160b36447273;hb=7166a99542af5ad2f5b53fe9fa9e5164dff7cfe5;hp=8c7c81f3cfd3207cf51e3b706b3606087ccac341;hpb=dabbda9e7f33734a3be4125f029b850ea39e2f19;p=SXSI%2Fxpathcomp.git

diff --git a/src/main.ml b/src/main.ml
index 8c7c81f..cd3d275 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -91,7 +91,13 @@ let () = Options.parse_cmdline()
 ;;
 
 let document =
-  if Filename.check_suffix !Options.input_file ".srx"
+  if Filename.check_suffix !Options.input_file ".g.bin" then
+    let g = time ~msg:"Loading grammar" (Grammar.load !Options.input_file) true in
+    begin
+      ignore(g);
+      exit 0
+    end
+  else if Filename.check_suffix !Options.input_file ".srx"
   then
     time
       ~msg:"Loading file"