Commit 5083b8db authored by Bruno Guillaume's avatar Bruno Guillaume

remove -old_grs command

parent 839e6c37
......@@ -19,7 +19,6 @@ module Grew_args = struct
let grs = ref None
let gui_doc = ref false
let old_grs = ref false
let dep_dir = ref None
let (input_data : string list ref) = ref []
......@@ -109,7 +108,6 @@ module Grew_args = struct
| "-max_depth_non_det" :: i :: args -> Log.warning "max_depth_non_det not implemented, skip the arg"; loop args
| "-quiet" :: args -> quiet := true; loop args
| "-old_grs" :: args -> old_grs := true; loop args
| "-safe_commands" :: args -> Libgrew.set_safe_commands true; loop args
| "-debug" :: args -> Libgrew.set_debug_mode true; loop args
......
......@@ -44,7 +44,7 @@ let transform () =
| (_,_,None) -> Log.message "No output specified: use -o option"; exit 1
| (Some grs_file, input_list, Some output_file) ->
let out_ch = open_out output_file in
let grs = (if !Grew_args.old_grs then Grs.load_old grs_file else Grs.load grs_file) in
let grs = Grs.load grs_file in
let domain = Grs.domain grs in
......@@ -78,7 +78,7 @@ let transform () =
let domain = match !Grew_args.grs with
| None -> None
| Some file -> Grs.domain (if !Grew_args.old_grs then Grs.load_old file else Grs.load file) in
| Some file -> Grs.domain (Grs.load file) in
let pattern = Pattern.load ?domain pattern_file in
......
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