Use polymorhic equality

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-06-06 19:23:13 +07:00
parent d4e8e6dbd4
commit 2350bb1161
1 changed files with 1 additions and 1 deletions

View File

@ -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