We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f26292d commit 4a9c7d4Copy full SHA for 4a9c7d4
src/cdomains/fileDomain.ml
@@ -58,7 +58,7 @@ struct
58
59
let fopen k loc filename mode m =
60
if is_unknown k m then m else
61
- let mode = match String.lowercase mode with "r" -> Val.Read | _ -> Val.Write in
+ let mode = match String.lowercase_ascii mode with "r" -> Val.Read | _ -> Val.Write in
62
let v = V.make k loc (Val.Open(filename, mode)) in
63
add' k v m
64
let fclose k loc m =
0 commit comments