From 4f6019015237edec256f6c5fcc81b7967d3539d5 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 1 Jan 2005 14:20:14 +0000
Subject: Déplacement de 'project' dans Refiner pour supprimer des dépendances
 en Tacmach

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

diff --git a/contrib/first-order/instances.ml b/contrib/first-order/instances.ml
index a2b834ffbe..53ab0a6d9c 100644
--- a/contrib/first-order/instances.ml
+++ b/contrib/first-order/instances.ml
@@ -105,7 +105,7 @@ let dummy_bvid=id_of_string "x"
 
 let mk_open_instance id gl m t=
   let env=pf_env gl in
-  let evmap=Refiner.sig_sig gl in
+  let evmap=Refiner.project gl in
   let var_id=
     if id==dummy_id then dummy_bvid else
       let typ=pf_type_of gl (constr_of_reference id) in
-- 
cgit v1.2.3