diff --git a/src/partialGrammar.ml b/src/partialGrammar.ml index 02605ffea61df502fbf11be2cd661906320cd5b3..a5cb3b54bde9c1c5a69bfa5b634c2ab6d36e5c38 100644 --- a/src/partialGrammar.ml +++ b/src/partialGrammar.ml @@ -198,7 +198,7 @@ let alphaconvert_rule parameters prule = 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. *) let rewrite_rule phi prule = let ids =