From 22157739b805629bd2d736dbb920cb47f92c8fd2 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Fri, 7 Sep 2018 00:19:38 -0700 Subject: [PATCH] [infer] fix dead code Reviewed By: mbouaziz Differential Revision: D9692505 fbshipit-source-id: 8bab530a9 --- infer/src/IR/Localise.ml | 2 -- infer/src/IR/Localise.mli | 3 --- 2 files changed, 5 deletions(-) diff --git a/infer/src/IR/Localise.ml b/infer/src/IR/Localise.ml index 77c4b108f..d5e451401 100644 --- a/infer/src/IR/Localise.ml +++ b/infer/src/IR/Localise.ml @@ -60,8 +60,6 @@ let no_desc : error_desc = {descriptions= []; tags= []; dotty= None} (** verbatim desc from a string, not to be used for user-visible descs *) let verbatim_desc s = {no_desc with descriptions= [s]} -let custom_desc description tags = {no_desc with descriptions= [description]; tags} - (** pretty print an error description *) let pp_error_desc fmt err_desc = Pp.seq F.pp_print_string fmt err_desc.descriptions diff --git a/infer/src/IR/Localise.mli b/infer/src/IR/Localise.mli index 07ea68d00..addda5e86 100644 --- a/infer/src/IR/Localise.mli +++ b/infer/src/IR/Localise.mli @@ -24,9 +24,6 @@ val no_desc : error_desc val verbatim_desc : string -> error_desc (** verbatim desc from a string, not to be used for user-visible descs *) -val custom_desc : string -> (string * string) list -> error_desc -(** verbatim desc with custom tags *) - module BucketLevel : sig val b1 : string (** highest likelihood *)