diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/cList.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cList.ml b/lib/cList.ml index 78c17c3ff3..8e031a0c90 100644 --- a/lib/cList.ml +++ b/lib/cList.ml @@ -788,7 +788,7 @@ let rec combine3 x y z = | [], [], [] -> [] | (x :: xs), (y :: ys), (z :: zs) -> (x, y, z) :: combine3 xs ys zs - | _, _, _ -> raise (Invalid_argument "List.combine3") + | _, _, _ -> invalid_arg "List.combine3" (* Keep only those products that do not return None *) |