diff options
Diffstat (limited to '')
| -rw-r--r-- | src/CfimOfJson.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml index f3527e17..265a4c7b 100644 --- a/src/CfimOfJson.ml +++ b/src/CfimOfJson.ml @@ -5,7 +5,7 @@ different from what `serde_rs` generates (because it uses [Yojson.Safe.t] and not [Yojson.Basic.t]). - TODO: we should check that the integer values are in the proper range + TODO: we should check all that the integer values are in the proper range *) open Yojson.Basic |