diff --git a/infer/src/IR/CallFlags.re b/infer/src/IR/CallFlags.re
index b2daa88b0..93db2e7c6 100644
--- a/infer/src/IR/CallFlags.re
+++ b/infer/src/IR/CallFlags.re
@@ -26,13 +26,8 @@ type t = {
   cf_noreturn: bool,
   cf_is_objc_block: bool,
   cf_targets: list Procname.t
-};
-
-let compare cflag1 cflag2 =>
-  bool_compare cflag1.cf_virtual cflag2.cf_virtual |>
-  next bool_compare cflag1.cf_interface cflag2.cf_interface |>
-  next bool_compare cflag1.cf_noreturn cflag2.cf_noreturn |>
-  next bool_compare cflag1.cf_is_objc_block cflag2.cf_is_objc_block;
+}
+[@@deriving compare];
 
 let pp f cf => {
   if cf.cf_virtual {
diff --git a/infer/src/IR/CallFlags.rei b/infer/src/IR/CallFlags.rei
index c595f917a..0eb2e53cb 100644
--- a/infer/src/IR/CallFlags.rei
+++ b/infer/src/IR/CallFlags.rei
@@ -26,9 +26,8 @@ type t = {
   cf_noreturn: bool,
   cf_is_objc_block: bool,
   cf_targets: list Procname.t
-};
-
-let compare: t => t => int;
+}
+[@@deriving compare];
 
 let pp: F.formatter => t => unit;