From b00cb9ccbb02e2aa913294887749fff79b0adad5 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 10 Mar 2008 10:22:45 +0000
Subject: Une passe sur l'unification des evars (suite aux commits 10124,
 10125, 10145) - Correction bug des filtres dans define_evar_as_abstraction -
 Nettoyage, documentation et réorganisations diverses

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10650 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/subtac/subtac_utils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib')

diff --git a/contrib/subtac/subtac_utils.ml b/contrib/subtac/subtac_utils.ml
index 49bdfdae19..b684dd320b 100644
--- a/contrib/subtac/subtac_utils.ml
+++ b/contrib/subtac/subtac_utils.ml
@@ -195,7 +195,7 @@ let non_instanciated_map env evd evm =
 	     QuestionMark _ -> Evd.add evm key evi
 	   | _ ->
 	       debug 2 (str " and is an implicit");
-	       Pretype_errors.error_unsolvable_implicit loc env evm (Evarutil.nf_evar_info evm evi) k)
+	       Pretype_errors.error_unsolvable_implicit loc env evm (Evarutil.nf_evar_info evm evi) k None)
     Evd.empty (Evarutil.non_instantiated evm)
     
 let global_kind = Decl_kinds.IsDefinition Decl_kinds.Definition
-- 
cgit v1.2.3