From df2f50db3703b4f7f88f00ac382c7f3f1efaceb3 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 23 Feb 2015 11:26:51 +0100
Subject: Fix some typos in comments.

---
 library/assumptions.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library')

diff --git a/library/assumptions.mli b/library/assumptions.mli
index 809e536b43..bb36a97259 100644
--- a/library/assumptions.mli
+++ b/library/assumptions.mli
@@ -27,7 +27,7 @@ module ContextObjectMap : Map.ExtS
 (** Collects all the objects on which a term directly relies, bypassing kernel
     opacity, together with the recursive dependence DAG of objects.
 
-    WARNING: some terms may not make sense in the environement, because they are
+    WARNING: some terms may not make sense in the environment, because they are
     sealed inside opaque modules. Do not try to do anything fancy with those
     terms apart from printing them, otherwise demons may fly out of your nose.
 *)
-- 
cgit v1.2.3