1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 26 Dec 2021 11:57:21 +0100
Subject: Fix compilation with OCaml 4.13.1
---
source/dumpdb.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/source/dumpdb.ml b/source/dumpdb.ml
index dd20ad2..849aa2b 100644
--- a/source/dumpdb.ml
+++ b/source/dumpdb.ml
@@ -101,8 +101,8 @@ begin
("","","",Char.chr(0))
(sort
(fun (_,p1,l1) (_,p2,l2) ->
- let lc = compare l1 l2
- in if lc = 0 then compare p1 p2 else lc
+ let lc = Stdlib.compare l1 l2
+ in if lc = 0 then Stdlib.compare p1 p2 else lc
)
(addindices al));
print_string postamble
|
