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 d6e160efd7..4d86f04f51 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -401,7 +401,7 @@ let array_tl v = let array_last v = match Array.length v with - | 0 -> failwith "aray_last" + | 0 -> failwith "array_last" | n -> v.(pred n) let array_cons e v = Array.append [|e|] v |