From 404a041fce68b4f7072de0b91b4e136f04250482 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 31 Oct 2020 13:23:05 +0100
Subject: 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.
---
 engine/evd.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/evd.ml')

diff --git a/engine/evd.ml b/engine/evd.ml
index 4ae1d034d7..0fb32e5150 100644
--- 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)
 
-- 
cgit v1.2.3