Commit b3eecda1 authored by Bruno Guillaume's avatar Bruno Guillaume

remove -old_grs flag

parent f1d195e3
......@@ -16,7 +16,6 @@ module Grew_args = struct
let grs = ref None
let fullscreen = ref false
let old_grs = ref false
let input_data = ref None
let strat = ref "main"
......@@ -38,7 +37,6 @@ module Grew_args = struct
let args = [
(* options for all modes *)
"-grs", String (fun s -> grs := Some s), "<grs_file> chose the grs file to load";
"-old_grs", Unit (fun () -> old_grs := true), " Use old grs parser";
"-strat", String (fun s -> strat := s), "<strat> set the module strategy to use";
"-seq", String (fun s -> strat := s), "<strat> [DEPRECATED] replaced by -strat option";
"-timeout", Float (fun f -> timeout := Some f; Rewrite.set_timeout (Some f)), "<float> set a timeout on rewriting";
......
......@@ -83,7 +83,7 @@ module Resources = struct
| None -> ()
| Some file ->
Log.fmessage "Loading grs file: '%s'" file;
current_grs := Some (if !Grew_args.old_grs then Grs.load_old file else Grs.load file)
current_grs := Some (Grs.load file)
(* -------------------------------------------------------------------------------- *)
let domain () = match !current_grs with
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment