Commit fa096ac0 authored by Frontull Samuel's avatar Frontull Samuel
Browse files

fixed renaming bug

parent b2a1b8ad
......@@ -122,8 +122,9 @@ let rec _casubst m x n fvn =
if y = x then m
else
(* get intersection of fvn and fvs variable names *)
let fvs_vars = L.map lvname (L.flatten (L.map free_variables fvs)) in
let inters = List.filter (fun x -> List.mem x (y :: fvs_vars)) fvn in
(* let fvs_vars = L.map lvname (L.flatten (L.map free_variables fvs)) in
let inters = List.filter (fun x -> List.mem x (y :: fvs_vars)) fvn in *)
let inters = List.filter (fun x -> x = y) fvn in
match inters with
| [] ->
LLam
......
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