From 9a18233ec0e809b8a79185e92041bd0be9a2f784 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 18 May 2016 14:18:18 +0200
Subject: [PATCH] Typo.

---
 src/partialGrammar.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/partialGrammar.ml b/src/partialGrammar.ml
index 02605ffe..a5cb3b54 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 =
-- 
GitLab