diff --git a/infer/src/IR/Procdesc.ml b/infer/src/IR/Procdesc.ml
index 689b1adde..cdb293b5c 100644
--- a/infer/src/IR/Procdesc.ml
+++ b/infer/src/IR/Procdesc.ml
@@ -26,9 +26,7 @@ end
 
 (* =============== START of module Node =============== *)
 module Node = struct
-  type id = int [@@deriving compare]
-
-  let equal_id = [%compare.equal: id]
+  type id = int [@@deriving compare, equal]
 
   type destruction_kind =
     | DestrBreakStmt
diff --git a/infer/src/IR/Procdesc.mli b/infer/src/IR/Procdesc.mli
index 2c9eba745..140b768c8 100644
--- a/infer/src/IR/Procdesc.mli
+++ b/infer/src/IR/Procdesc.mli
@@ -24,9 +24,7 @@ module Node : sig
   type t [@@deriving compare]
 
   (** node id *)
-  type id = private int [@@deriving compare]
-
-  val equal_id : id -> id -> bool
+  type id = private int [@@deriving compare, equal]
 
   type destruction_kind =
     | DestrBreakStmt