diff options
author | Son Ho | 2022-04-26 19:34:12 +0200 |
---|---|---|
committer | Son Ho | 2022-04-26 19:34:12 +0200 |
commit | 79b0bf1fdb0283c2bd9cbca91794105dda88f03b (patch) | |
tree | 4a51f6cf3fcb208f074a306b80cb1a89ddbbbd63 /src/Identifiers.ml | |
parent | 732e3305cba3a628d9408a048978151e4ef2fcc2 (diff) |
Introduce the Abs expression and continue updating the code
Diffstat (limited to 'src/Identifiers.ml')
-rw-r--r-- | src/Identifiers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 64a8ec03..61238aac 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -99,7 +99,7 @@ module IdGen () : Id = struct (* Identifiers should never overflow (because max_int is a really big * value - but we really want to make sure we detect overflows if * they happen *) - if x == max_int then raise (Errors.IntegerOverflow ()) else x + 1 + if x = max_int then raise (Errors.IntegerOverflow ()) else x + 1 let generator_from_incr_id id = incr id |