From 3a7d2a85f1792105a375e35aa03afa137b29a9af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 15 May 2019 15:14:49 +0200 Subject: [PATCH] Fixed unused variable warning --- simple-utils/x_list.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/simple-utils/x_list.ml b/simple-utils/x_list.ml index 5462167e2..9037b0e9e 100644 --- a/simple-utils/x_list.ml +++ b/simple-utils/x_list.ml @@ -2,7 +2,7 @@ include List let rec remove n = function | [] -> raise (Failure "List.remove") - | hd :: tl when n = 0 -> tl + | _ :: tl when n = 0 -> tl | hd :: tl -> hd :: remove (n - 1) tl