From 2c5f7b90d969dde84e466d7babb7c5ab3a1945e4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 20 Jul 2010 14:29:12 +0000
Subject: Fixed a bug in list_forall2eq (wrong exception was caught).

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

(limited to 'lib')

diff --git a/lib/util.ml b/lib/util.ml
index 2711eee24a..20481adf3a 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -577,7 +577,8 @@ let list_eq_set l1 l2 =
   | a::l2 -> aux (list_remove_first a l1) l2 in
   try aux l1 l2 with Not_found -> false
 
-let list_for_all2eq f l1 l2 = try List.for_all2 f l1 l2 with Failure _ -> false
+let list_for_all2eq f l1 l2 =
+  try List.for_all2 f l1 l2 with Invalid_argument _ -> false
 
 let list_filter_i p =
   let rec filter_i_rec i = function
-- 
cgit v1.2.3