From d4cdb7e41844e1bb77bac9a7b9df423364b996e2 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Fri, 27 May 2016 14:02:39 +0200
Subject: Univs: add source locations of levels

For better error messages. The API change is
backwards compatible, using a new optional argument.
---
 engine/evd.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'engine/evd.ml')

diff --git a/engine/evd.ml b/engine/evd.ml
index b883db615e..1276c5994e 100644
--- a/engine/evd.ml
+++ b/engine/evd.ml
@@ -252,6 +252,7 @@ let instantiate_evar_array info c args =
   | _ -> replace_vars inst c
 
 type evar_universe_context = UState.t
+
 type 'a in_evar_universe_context = 'a * evar_universe_context
 
 let empty_evar_universe_context = UState.empty
-- 
cgit v1.2.3