Cosmetic cleaning of uState.ml and related: a bit of doc, more unity …

…in naming. Also some dead code. If no typo is introduced, there should be no semantic changes.
coq · Nov 4, 2020 · 404a041 · 404a041
1 parent 11cb6dd
commit 404a041
Show file tree

Hide file tree

Showing 7 changed files with 175 additions and 186 deletions.
diff --git a/engine/evd.ml b/engine/evd.ml
@@ -834,7 +834,7 @@ let empty = {
 
 let from_env e = { empty with universes = UState.from_env e }
 
-let from_ctx ctx = { empty with universes = ctx }
+let from_ctx uctx = { empty with universes = uctx }
 
 let has_undefined evd = not (EvMap.is_empty evd.undf_evars)