From 108dfc94b7f634d5624bfb7ef0865c2b2a5ee18c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 20 Jan 2022 21:07:29 +0100
Subject: Fix a comment

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

diff --git a/src/Contexts.ml b/src/Contexts.ml
index 407f01bb..15256cda 100644
--- a/src/Contexts.ml
+++ b/src/Contexts.ml
@@ -35,7 +35,7 @@ module M = Modules
  * ...
  * ```
  *
- * This is one, in such cases, we often introduce all the inputs, even
+ * This is why, in such cases, we often introduce all the inputs, even
  * when they are not used (which happens!).
  * ```
  * fn f x : fun_type =
-- 
cgit v1.2.3