From 2350bb11611cf7f7494644df877370690e555624 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 6 Jun 2018 19:23:13 +0700 Subject: [PATCH] Use polymorhic equality Signed-off-by: Rudi Grinberg --- src/stdune/path.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/stdune/path.ml b/src/stdune/path.ml index f7b7ee5e..06217960 100644 --- a/src/stdune/path.ml +++ b/src/stdune/path.ml @@ -511,7 +511,7 @@ end = struct | _ , In_source_tree _ -> Gt | In_build_dir x , In_build_dir y -> Local.compare x y - let equal x y = compare x y = Ordering.Eq + let equal = (=) let hash = Hashtbl.hash let in_build_dir s = In_build_dir s