From 8930c48b4c81837ad9ded8ff8747c9a7ff8bed59 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 11 Jul 2017 22:49:32 +0200
Subject: Make the typeclass implementation fully compatible with universe
 polymorphism.

This essentially means storing the abstract universe context in the typeclass
data, and abstracting it when necessary.
---
 API/API.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'API')

diff --git a/API/API.mli b/API/API.mli
index 48fd3a682f..0f3394fe9f 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -3048,6 +3048,7 @@ end
 module Typeclasses :
 sig
   type typeclass = Typeclasses.typeclass = {
+    cl_univs : Univ.AUContext.t;
     cl_impl : Globnames.global_reference;
     cl_context : (Globnames.global_reference * bool) option list * Context.Rel.t;
     cl_props : Context.Rel.t;
-- 
cgit v1.2.3