From 98b613cfa6a5f01b2641f101e5abaaa6f5f9b9ad Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 16 Nov 2011 08:46:39 +0000
Subject: A bit of documentation around cases.ml + ML modules uselessly open +
 dead code.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14660 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/pretype_errors.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/pretype_errors.ml')

diff --git a/pretyping/pretype_errors.ml b/pretyping/pretype_errors.ml
index 6d1c54e63d..2cf167919c 100644
--- a/pretyping/pretype_errors.ml
+++ b/pretyping/pretype_errors.ml
@@ -71,7 +71,7 @@ let env_nf_betaiotaevar sigma env =
     (fun d e ->
       push_rel (map_rel_declaration (Reductionops.nf_betaiota sigma) d) e) env
 
-(* This simplify the typing context of Cases clauses *)
+(* This simplifies the typing context of Cases clauses *)
 (* hope it does not disturb other typing contexts *)
 let contract env lc =
   let l = ref [] in
-- 
cgit v1.2.3