From 4064c96e05556c6fe75c97e3df175b59af70f43e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 13 Oct 2003 09:01:30 +0000
Subject: Ajout d'une fonction de recherche sur les composantes du nom des
 objets

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

(limited to 'contrib/interface')

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index e736cfe415..02300fdfda 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -1494,7 +1494,8 @@ let xlate_vernac =
 	| SearchHead id ->
 	    CT_search(loc_qualid_to_ct_ID id, xlate_search_restr x)
 	| SearchRewrite c -> xlate_error "TODO: SearchRewrite"
-	| SearchAbout id -> xlate_error "TODO: SearchAbout")
+	| SearchAbout id -> xlate_error "TODO: SearchAbout"
+	| SearchNamed id -> xlate_error "TODO: SearchNamed")
 
   | (*Record from tactics/Record.v *)
     VernacRecord 
-- 
cgit v1.2.3