adapt to lib (new function Libgrew.set_debug_mod)

0f4ea47a · Bruno Guillaume · b7ca94ed · 0f4ea47a
Commit 0f4ea47a authored Feb 19, 2018 by Bruno Guillaume
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/grew_args.ml src/grew_args.ml +1 -1

No files found.
--- a/src/grew_args.ml
+++ b/src/grew_args.ml
@@ -111,7 +111,7 @@ module Grew_args = struct
  | "-quiet" :: args -> quiet := true; loop args
  | "-old_grs" :: args -> old_grs := true; loop args

-  | "-debug" :: args -> libgrew_debug_mode (); loop args
+  | "-debug" :: args -> Libgrew.set_debug_mode true; loop args
  | "-debug_loop" :: args -> Rewrite.set_debug_loop ()
  | "-dep_dir" :: dir :: args -> dep_dir := Some dir