Commit e2b9c66a authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent a395a565
......@@ -43,7 +43,7 @@ let rename_inlined_psym (psym, first_prod, last_prod) phi l =
| WhereStart -> first_prod, (true, used2)
| WhereEnd -> last_prod, (used1, true)
(* Otherwise, we just that the renaming into account. *)
(* Otherwise, we just take the renaming into account. *)
let s' = try
List.assoc s phi
with Not_found -> s
Supports Markdown
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