X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmain.ml;h=cd3d275db15c65f3e40ce4dd19c8160b36447273;hb=124b3b4e8f440f8c996263127336377c9456e090;hp=8c7c81f3cfd3207cf51e3b706b3606087ccac341;hpb=a84e4fba7daf4f600958487d88f0b733fb19042e;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"