From b7e242c07c39f7dcdf4175c0e4eb3868a6b7aad8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 11 Oct 2000 20:10:00 +0000
Subject: Suite du précédent

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@697 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/printer.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/parsing/printer.ml b/parsing/printer.ml
index fcf847aa6c..e8eccf6834 100644
--- a/parsing/printer.ml
+++ b/parsing/printer.ml
@@ -32,17 +32,17 @@ let pr_qualified_path sp id =
 
 let global_const_name sp =
   try pr_qualified_path sp (basename sp)
-  with _ -> (* May happen in debug *)
+  with Not_found -> (* May happen in debug *)
     [< 'sTR ("CONST("^(string_of_path sp)^")") >]
 
 let global_ind_name (sp,tyi) =
   try pr_qualified_path sp (Global.id_of_global (IndRef (sp,tyi)))
-  with _ -> (* May happen in debug *)
+  with Not_found -> (* May happen in debug *)
     [< 'sTR ("IND("^(string_of_path sp)^","^(string_of_int tyi)^")") >]
 
 let global_constr_name ((sp,tyi),i) =
   try pr_qualified_path sp (Global.id_of_global (ConstructRef ((sp,tyi),i)))
-  with _ -> (* May happen in debug *)
+  with Not_found -> (* May happen in debug *)
     [< 'sTR ("CONSTRUCT("^(string_of_path sp)^","^(string_of_int tyi)
 		  ^","^(string_of_int i)^")") >]
 
-- 
cgit v1.2.3