Commit b916663c authored by Bruno Guillaume's avatar Bruno Guillaume

Fix semantics of If strategy

parent 258a22b4
......@@ -245,7 +245,7 @@ module G_graph = struct
let find node_id graph = Gid_map.find node_id graph.map
let equals t t' = Gid_map.equal (fun node1 node2 -> node1 = node2) t.map t'.map
let equals t t' = Gid_map.equal (=) t.map t'.map
let node_exists fct t = Gid_map.exists (fun _ node -> fct node) t.map
......
......@@ -1105,8 +1105,8 @@ module Grs = struct
begin
match (* TODO: is it correct to put onf_ ?*)
onf_strat_simple_rewrite ?domain pointed s gwh.Graph_with_history.graph with
| None -> gwh_strat_simple_rewrite ?domain pointed s1 gwh
| Some _ -> gwh_strat_simple_rewrite ?domain pointed s2 gwh
| Some _ -> gwh_strat_simple_rewrite ?domain pointed s1 gwh
| None -> gwh_strat_simple_rewrite ?domain pointed s2 gwh
end
| New_ast.Onf s ->
......@@ -1250,8 +1250,8 @@ module Grs = struct
| New_ast.If (s, s1, s2) ->
begin
match onf_strat_simple_rewrite ?domain pointed s linear_rd.graph with
| None -> wrd_strat_simple_rewrite iter_flag ?domain pointed s1 linear_rd
| Some _ -> wrd_strat_simple_rewrite iter_flag ?domain pointed s2 linear_rd
| Some _ -> wrd_strat_simple_rewrite iter_flag ?domain pointed s1 linear_rd
| None -> wrd_strat_simple_rewrite iter_flag ?domain pointed s2 linear_rd
end
let build_rew_display_from_linear_rd linear_rd =
......
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