Commit c9fc7f09 authored by Bruno Guillaume's avatar Bruno Guillaume

version 0.46.0: fix missing arg (-old_grs)

parent 6c95e9a5
......@@ -106,6 +106,7 @@ 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
| "-debug" :: args -> libgrew_debug_mode (); loop args
| "-debug_loop" :: args -> Rewrite.set_debug_loop ()
......
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