Commit 9a18233e authored by POTTIER Francois's avatar POTTIER Francois

Typo.

parent 88220d13
...@@ -198,7 +198,7 @@ let alphaconvert_rule parameters prule = ...@@ -198,7 +198,7 @@ let alphaconvert_rule parameters prule =
pr_branches = rewrite_branches phi prule.pr_branches pr_branches = rewrite_branches phi prule.pr_branches
} }
(* Rewrite a rule taking bounded names into account. We rename parameters (* Rewrite a rule taking bound names into account. We rename parameters
to avoid capture. *) to avoid capture. *)
let rewrite_rule phi prule = let rewrite_rule phi prule =
let ids = let ids =
......
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