diff options
Diffstat (limited to 'src/Identifiers.ml')
| -rw-r--r-- | src/Identifiers.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index eb2db3bd..64a8ec03 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -101,9 +101,7 @@ module IdGen () : Id = struct * they happen *) if x == max_int then raise (Errors.IntegerOverflow ()) else x + 1 - let generator_from_incr_id id = - let id = incr id in - id + let generator_from_incr_id id = incr id let mk_stateful_generator g = let g = ref g in |