From d041f19a7274b6065ca3ef565f0d8b8be08ef0d7 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 30 Jan 2018 10:45:03 +0100
Subject: [native_compute] Fix handling of evars in conversion

---
 kernel/nativecode.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativecode.mli')

diff --git a/kernel/nativecode.mli b/kernel/nativecode.mli
index d08f49095e..7d20054f77 100644
--- a/kernel/nativecode.mli
+++ b/kernel/nativecode.mli
@@ -44,7 +44,7 @@ val get_ind : symbols -> int -> inductive
 
 val get_meta : symbols -> int -> metavariable
 
-val get_evar : symbols -> int -> existential
+val get_evar : symbols -> int -> Evar.t
 
 val get_level : symbols -> int -> Univ.Level.t
 
-- 
cgit v1.2.3