From ed04b8eb07ca3925af852c30a75c553c134f7d72 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 29 Oct 2018 17:56:10 +0100
Subject: Local universes for opaque polymorphic constants.

---
 checker/values.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'checker/values.ml')

diff --git a/checker/values.ml b/checker/values.ml
index 0de8a3e03f..388123baaf 100644
--- a/checker/values.ml
+++ b/checker/values.ml
@@ -227,6 +227,7 @@ let v_cb = v_tuple "constant_body"
     v_constr;
     Any;
     v_const_univs;
+    Opt v_context_set;
     v_bool;
     v_typing_flags|]
 
-- 
cgit v1.2.3