From 798876feed0e06923f4066a8d04b87081fef72e0 Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:35:46 +0200
Subject: Update src/ExtractToFStar.ml

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

diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml
index 8b7ac244..06f82ac4 100644
--- a/src/ExtractToFStar.ml
+++ b/src/ExtractToFStar.ml
@@ -856,7 +856,7 @@ let extract_global (ctx : extraction_ctx) (fmt : F.formatter)
 
 (** [inside]: see [extract_ty].
 
-    As an pattern can introduce new variables, we return an extraction context
+    As a pattern can introduce new variables, we return an extraction context
     updated with new bindings.
  *)
 let rec extract_typed_pattern (ctx : extraction_ctx) (fmt : F.formatter)
-- 
cgit v1.2.3