diff options
| author | Guillaume Melquiond | 2015-02-23 11:26:51 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-02-23 13:37:52 +0100 |
| commit | df2f50db3703b4f7f88f00ac382c7f3f1efaceb3 (patch) | |
| tree | c11084a17eec2bc25bdcbba715aa1ba50b108272 /library | |
| parent | 705bf896bfc552e95403d097fe9b8031c598d88b (diff) | |
Fix some typos in comments.
Diffstat (limited to 'library')
| -rw-r--r-- | library/assumptions.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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. *) |