From 4b4397e185cee54052819ad63bef3ecd56ba4512 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Thu, 23 Jun 2016 10:30:04 +0200
Subject: Fix typo.

---
 plugins/extraction/extraction.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/extraction/extraction.ml')

diff --git a/plugins/extraction/extraction.ml b/plugins/extraction/extraction.ml
index 0ac8e3c4c..114c5149f 100644
--- a/plugins/extraction/extraction.ml
+++ b/plugins/extraction/extraction.ml
@@ -36,7 +36,7 @@ let current_fixpoints = ref ([] : constant list)
 let none = Evd.empty
 
 (* NB: In OCaml, [type_of] and [get_of] might raise
-   [SingletonInductiveBecomeProp]. this exception will be catched
+   [SingletonInductiveBecomeProp]. This exception will be caught
    in late wrappers around the exported functions of this file,
    in order to display the location of the issue. *)
 
-- 
cgit v1.2.3