diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/util.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |