Commit a9d917d2 authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

adapt to libgrew evolution

parent b16a422f
......@@ -63,7 +63,7 @@ let transform () =
(fun index (id, gr) ->
Counter.print index len id;
match Rewrite.simple_rewrite ~gr ~grs ~strat:!Grew_args.strat with
match Rewrite.simple_rewrite gr grs !Grew_args.strat with
| [one] -> out_graph one
| l ->
List.iteri (fun i gr ->
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