From 96a357777e2e3c1273a61e0767bc04085d56835e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 8 May 2018 12:59:35 +0200
Subject: Don't use ref universe_opt_subst

---
 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 6c8dbe3f44..df50bae86e 100644
--- a/engine/uState.ml
+++ b/engine/uState.ml
@@ -156,7 +156,7 @@ let process_universe_constraints ctx cstrs =
   let univs = ctx.uctx_universes in
   let vars = ref ctx.uctx_univ_variables in
   let weak = ref ctx.uctx_weak_constraints in
-  let normalize = normalize_univ_variable_opt_subst vars in
+  let normalize u = normalize_univ_variable_opt_subst !vars u in
   let nf_constraint = function
     | ULub (u, v) -> ULub (level_subst_of normalize u, level_subst_of normalize v)
     | UWeak (u, v) -> UWeak (level_subst_of normalize u, level_subst_of normalize v)
-- 
cgit v1.2.3