From 44038db7f052e45bb864a9878016e67120107570 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 24 Apr 2006 09:48:06 +0000
Subject: Changement anomaly en failwith dans out_name pour utilisation par
 map_succeed

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

diff --git a/library/nameops.ml b/library/nameops.ml
index efe149a1f9..e4c75bd760 100644
--- a/library/nameops.ml
+++ b/library/nameops.ml
@@ -138,7 +138,7 @@ let next_ident_away_from id avoid =
 
 let out_name = function
   | Name id -> id
-  | Anonymous -> anomaly "out_name: expects a defined name"
+  | Anonymous -> failwith "out_name: expects a defined name"
 
 let name_fold f na a =
   match na with
-- 
cgit v1.2.3