diff options
Diffstat (limited to 'src/OfJsonBasic.ml')
| -rw-r--r-- | src/OfJsonBasic.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/OfJsonBasic.ml b/src/OfJsonBasic.ml index 9dbd521d..07daf03d 100644 --- a/src/OfJsonBasic.ml +++ b/src/OfJsonBasic.ml @@ -26,7 +26,7 @@ let int_of_json (js : json) : (int, string) result = let char_of_json (js : json) : (char, string) result = match js with | `String c -> - if String.length c == 1 then Ok c.[0] + if String.length c = 1 then Ok c.[0] else Error ("char_of_json: stricly more than one character in: " ^ show js) | _ -> Error ("char_of_json: not a char: " ^ show js) |