Commit 6149907e authored by Frontull Samuel's avatar Frontull Samuel
Browse files

removed all_vars constraint in rule match

parent 38c528fa
......@@ -273,8 +273,8 @@ let rec trs_rule trsrules label =
Printf.printf "trs_rules %s\n"
(String.concat "\n" (L.map trs_rule_to_string trsrules)); *)
match trsrules with
| RR (TDes (TCon (l, fvs), _), _) :: xs ->
if l = label && all_vars fvs then L.hd trsrules else trs_rule xs label
| RR (TDes (TCon (l, _), _), _) :: xs ->
if l = label then L.hd trsrules else trs_rule xs label
| _ :: xs -> trs_rule xs label
| [] -> failwith "No rule with such label."
......
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