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