From ada134c6c05e6ce69189ecd25c34bcc935124ced Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 27 Aug 2007 12:39:55 +0000
Subject: Oubli dans la révision 10098 (nettoyage body_of_type)

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

diff --git a/contrib/interface/blast.ml b/contrib/interface/blast.ml
index 5fcd04c46a..207d78b193 100644
--- a/contrib/interface/blast.ml
+++ b/contrib/interface/blast.ml
@@ -467,7 +467,7 @@ let rec search_gen decomp n db_list local_db extra_sign goal =
 	   try 
 	     [make_apply_entry (pf_env g') (project g')
 		(true,false) 
-		(mkVar hid,body_of_type htyp)]
+		(mkVar hid,htyp)]
 	   with Failure _ -> [] 
 	 in
          (free_try
-- 
cgit v1.2.3