blob: 66c463a579b5883d281e2562f23f1f3006382ef4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- a/inifiles.ml
+++ b/inifiles.ml
@@ -50,7 +50,7 @@
struct
type t = string
let compare (x:t) (y:t) =
- String.compare (String.lowercase x) (String.lowercase y)
+ String.compare (String.lowercase_ascii x) (String.lowercase_ascii y)
end
module Strset = Set.Make(Ordstr)
@@ -257,7 +257,7 @@
func
initial
(List.rev_map
- (new inifile)
+ (fun x -> new inifile x)
(List.filter
check_file
(List.rev_map
|
