From 0953444c249cf61ce521bbf14214908f2f96a94e Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 7 May 2020 16:53:54 -0700
Subject: [PATCH] [sledge] Remove dead Loc.is_none

Reviewed By: jvillard

Differential Revision: D21441537

fbshipit-source-id: f09888760
---
 sledge/src/loc.ml  | 1 -
 sledge/src/loc.mli | 1 -
 2 files changed, 2 deletions(-)

diff --git a/sledge/src/loc.ml b/sledge/src/loc.ml
index 4237d4425..d69fb2f65 100644
--- a/sledge/src/loc.ml
+++ b/sledge/src/loc.ml
@@ -11,7 +11,6 @@ type t = {dir: string; file: string; line: int; col: int}
 [@@deriving compare, equal, hash, sexp]
 
 let none = {dir= ""; file= ""; line= 0; col= 0}
-let is_none loc = compare loc none = 0
 
 let mk ?(dir = none.dir) ?(file = none.file) ?(col = none.col) ~line =
   {dir; file; line; col}
diff --git a/sledge/src/loc.mli b/sledge/src/loc.mli
index b92f9339a..9132bf5b0 100644
--- a/sledge/src/loc.mli
+++ b/sledge/src/loc.mli
@@ -12,5 +12,4 @@ type t = {dir: string; file: string; line: int; col: int}
 
 val pp : t pp
 val none : t
-val is_none : t -> bool
 val mk : ?dir:string -> ?file:string -> ?col:int -> line:int -> t