From 2cbaba6f00d40d5c6c9659678d0156f14b7e3780 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Fri, 4 Jul 2014 11:10:13 +0200 Subject: Use LAST instead of NEXT (only EDD implementation works at the moment) --- libs/util.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libs') diff --git a/libs/util.ml b/libs/util.ml index 940fe3e..6e8dc59 100644 --- a/libs/util.ml +++ b/libs/util.ml @@ -13,7 +13,7 @@ let rec uniq_sorted = function (* list_fold_op : ('a -> 'a -> 'a) -> 'a list -> 'a *) let rec list_fold_op op = function - | [] -> invalid_arg "list_fold_opt on empty list" + | [] -> invalid_arg "list_fold_op on empty list" | [a] -> a | x::q -> op x (list_fold_op op q) -- cgit v1.2.3