diff options
Diffstat (limited to 'toplevel/indschemes.ml')
-rw-r--r-- | toplevel/indschemes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/indschemes.ml b/toplevel/indschemes.ml index a0300738b..3aaf49548 100644 --- a/toplevel/indschemes.ml +++ b/toplevel/indschemes.ml @@ -400,7 +400,7 @@ let list_split_rev_at index l = in aux 0 [] l let fold_left' f = function - [] -> raise (Invalid_argument "fold_left'") + [] -> invalid_arg "fold_left'" | hd :: tl -> List.fold_left f hd tl let build_combined_scheme env schemes = |