diff --git a/infer/src/IR/Sil.re b/infer/src/IR/Sil.re
index 48a5966cb..335f442cf 100644
--- a/infer/src/IR/Sil.re
+++ b/infer/src/IR/Sil.re
@@ -328,12 +328,6 @@ let exp_is_this =
   | _ => false;
 
 
-/** This function inverts an injective binary operator
-    with respect to the first argument. It returns an expression [e'] such that
-    BinOp([binop], [e'], [exp1]) = [exp2]. If the [binop] operation is not invertible,
-    the function raises an exception by calling "assert false". */
-let binop_invert bop e1 e2 => Exp.BinOp (Binop.invert bop) e2 e1;
-
 let path_pos_compare (pn1, nid1) (pn2, nid2) => {
   let n = Procname.compare pn1 pn2;
   if (n != 0) {
diff --git a/infer/src/IR/Sil.rei b/infer/src/IR/Sil.rei
index 7d5ac271a..880f861ce 100644
--- a/infer/src/IR/Sil.rei
+++ b/infer/src/IR/Sil.rei
@@ -351,13 +351,6 @@ let block_pvar: Pvar.t;
 /** Check if a pvar is a local pointing to a block in objc */
 let is_block_pvar: Pvar.t => bool;
 
-
-/** This function inverts an injective binary operator
-    with respect to the first argument. It returns an expression [e'] such that
-    BinOp([binop], [e'], [exp1]) = [exp2]. If the [binop] operation is not invertible,
-    the function raises an exception by calling "assert false". */
-let binop_invert: Binop.t => Exp.t => Exp.t => Exp.t;
-
 let mem_kind_compare: mem_kind => mem_kind => int;
 
 let res_act_kind_compare: res_act_kind => res_act_kind => int;