[inferbo] Fix deadcode

Reviewed By: skcho Differential Revision: D13177132 fbshipit-source-id: 58c1fb538
6 years ago · f4e9975783
parent 8849458521
commit f4e9975783
1 changed files with 0 additions and 2 deletions
--- a/infer/src/bufferoverrun/bounds.mli
+++ b/infer/src/bufferoverrun/bounds.mli
@ -41,8 +41,6 @@ module Bound : sig

  val equal : t -> t -> bool

-  val pp : F.formatter -> t -> unit
-
  val pp_mark : markup:bool -> F.formatter -> t -> unit

  val of_int : int -> t