From dfaf7e1ca5aebfdfbef5f32d235a948335f7fda0 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 3 May 2018 17:44:34 +0200
Subject: Remove some occurrences of Evd.empty

We address the easy ones, but they should probably be all removed.
---
 pretyping/pretype_errors.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/pretype_errors.ml')

diff --git a/pretyping/pretype_errors.ml b/pretyping/pretype_errors.ml
index 278a4761d8..856894d9a6 100644
--- a/pretyping/pretype_errors.ml
+++ b/pretyping/pretype_errors.ml
@@ -165,7 +165,7 @@ let error_not_product ?loc env sigma c =
 (*s Error in conversion from AST to glob_constr *)
 
 let error_var_not_found ?loc s =
-  raise_pretype_error ?loc (empty_env, Evd.empty, VarNotFound s)
+  raise_pretype_error ?loc (empty_env, Evd.from_env empty_env, VarNotFound s)
 
 (*s Typeclass errors *)
 
-- 
cgit v1.2.3