From fc38a7d8f3d2a47aa8eee570747568335f3ffa19 Mon Sep 17 00:00:00 2001
From: delahaye
Date: Wed, 3 May 2000 17:31:07 +0000
Subject: Ajout du langage de tactiques

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

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index 963ed51930..cc2f514a40 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -130,7 +130,7 @@ let list_map2_i f i l1 l2 =
 let list_index x = 
   let rec index_x n = function
     | y::l -> if x = y then n else index_x (succ n) l
-    | [] -> failwith "index"
+    | [] -> raise Not_found
   in 
   index_x 1
 
-- 
cgit v1.2.3