From f53156a6d3819682dc888835abcef2b5320dab1b Mon Sep 17 00:00:00 2001
From: Paul Steckler <steck@stecksoft.com>
Date: Tue, 5 Dec 2017 12:34:06 -0500
Subject: Rename update to set, fixes #6196

---
 engine/uState.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/uState.ml')

diff --git a/engine/uState.ml b/engine/uState.ml
index 4e30640e4..f9a57cce2 100644
--- a/engine/uState.ml
+++ b/engine/uState.ml
@@ -131,7 +131,7 @@ let of_binders b =
 let universe_binders ctx = fst ctx.uctx_names
 
 let instantiate_variable l b v =
-  try v := Univ.LMap.update l (Some b) !v
+  try v := Univ.LMap.set l (Some b) !v
   with Not_found -> assert false
 
 exception UniversesDiffer
-- 
cgit v1.2.3