From 79b0bf1fdb0283c2bd9cbca91794105dda88f03b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 26 Apr 2022 19:34:12 +0200
Subject: Introduce the Abs expression and continue updating the code

---
 src/Identifiers.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Identifiers.ml')

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
 
-- 
cgit v1.2.3