From 6ada532b101404a54838c0ae5657b093f858a69a Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 6 Jun 2018 22:15:53 +0700 Subject: [PATCH] type specialize (=) 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 06217960..c806c749 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 = (=) + let equal (x : t) (y : t) = x = y let hash = Hashtbl.hash let in_build_dir s = In_build_dir s