Skip to content

Commit 144d041

Browse files
committed
Fix Lid comparison
1 parent 309ba6f commit 144d041

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

src/index-format/lid.ml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -39,9 +39,7 @@ let pp fmt t =
3939

4040
let compare_pos p1 p2 = Int.compare p1.cnum p2.cnum
4141
let compare_filename t1 t2 =
42-
String.compare
43-
(Filename.basename (G.fetch t1.filename))
44-
(Filename.basename (G.fetch t2.filename))
42+
String.compare (G.fetch t1.filename) (G.fetch t2.filename)
4543

4644
let compare t1 t2 =
4745
match compare_filename t1 t2 with

0 commit comments

Comments
 (0)