From 77e3e97dd0cbafd9ff4d72ae6c80bfb6fbe24a17 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 3 Apr 2021 17:40:21 -0400 Subject: [PATCH] perf: direct alias in CCHash.int --- src/core/CCHash.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCHash.ml b/src/core/CCHash.ml index b8ae13d2..74b67c41 100644 --- a/src/core/CCHash.ml +++ b/src/core/CCHash.ml @@ -79,7 +79,7 @@ let combine6 a b c d e f = let const h _ = h let const0 _ = 0 -let int i = hash_int_ i +let int = hash_int_ let bool b = hash_int_ (if b then 1 else 2) let char x = hash_int_ (Char.code x) let int32 (x:int32) = Hashtbl.hash x (* TODO: FNV *)