Commit eff8c0ee authored by Bruno Guillaume's avatar Bruno Guillaume

little adjustment after merge

parent 4618b180
......@@ -1467,7 +1467,7 @@ module Rule = struct
) Graph_with_history_set.empty matching_list
let owh_apply ?domain rule gwh =
let (pos,negs) = rule.pattern in
let {pos; negs} = rule.pattern in
(* get the list of partial matching for positive part of the pattern *)
let graph = gwh.Graph_with_history.graph in
let matching_list =
......
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