diff options
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 |