From f4e9975783d1f1cc662cfaefb3ffee09b3f33340 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Fri, 23 Nov 2018 06:43:35 -0800 Subject: [PATCH] [inferbo] Fix deadcode Reviewed By: skcho Differential Revision: D13177132 fbshipit-source-id: 58c1fb538 --- infer/src/bufferoverrun/bounds.mli | 2 -- 1 file changed, 2 deletions(-) diff --git a/infer/src/bufferoverrun/bounds.mli b/infer/src/bufferoverrun/bounds.mli index a2ba76718..46b40bbcf 100644 --- 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