diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/command.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/command.ml b/toplevel/command.ml index 89739b9840..1ab819a5eb 100644 --- a/toplevel/command.ml +++ b/toplevel/command.ml @@ -1007,7 +1007,7 @@ let list_split_rev_at index l = let rec aux i acc = function hd :: tl when i = index -> acc, tl | hd :: tl -> aux (succ i) (hd :: acc) tl - | [] -> failwith "list_split_at: Invalid argument" + | [] -> failwith "list_split_when: Invalid argument" in aux 0 [] l let fold_left' f = function |