20 lines
688 B
Diff
20 lines
688 B
Diff
|
--- sedlex-2.2/src/generator/gen_unicode.ml.inc.orig 2020-02-08 14:55:37.000000000 -0700
|
||
|
+++ sedlex-2.2/src/generator/gen_unicode.ml.inc 2020-06-17 21:22:50.269177776 -0600
|
||
|
@@ -77,14 +77,14 @@ let split list n =
|
||
|
|
||
|
let print_elements ch hashtbl =
|
||
|
let cats =
|
||
|
- List.sort_uniq Pervasives.compare
|
||
|
+ List.sort_uniq Stdlib.compare
|
||
|
(Hashtbl.fold (fun cat _ l -> cat::l) hashtbl [])
|
||
|
in
|
||
|
let len = List.length cats in
|
||
|
List.iter (fun c ->
|
||
|
let entries =
|
||
|
List.map (fun (b,e) -> Printf.sprintf "0x%x, 0x%x" b e)
|
||
|
- (List.sort_uniq Pervasives.compare
|
||
|
+ (List.sort_uniq Stdlib.compare
|
||
|
(Hashtbl.find_all hashtbl c))
|
||
|
in
|
||
|
let entries =
|