From dcb3ab1288c62ac84d637ab9bcaa61a37a451241 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Fri, 21 Feb 2020 08:22:33 -0800
Subject: [PATCH] [inferbo] Remove dangling file

Reviewed By: skcho

Differential Revision: D20034813

fbshipit-source-id: 448909c20
---
 infer/src/bufferoverrun/counter.ml  | 23 -----------------------
 infer/src/bufferoverrun/counter.mli | 14 --------------
 2 files changed, 37 deletions(-)
 delete mode 100644 infer/src/bufferoverrun/counter.ml
 delete mode 100644 infer/src/bufferoverrun/counter.mli

diff --git a/infer/src/bufferoverrun/counter.ml b/infer/src/bufferoverrun/counter.ml
deleted file mode 100644
index 42803c902..000000000
--- a/infer/src/bufferoverrun/counter.ml
+++ /dev/null
@@ -1,23 +0,0 @@
-(*
- * Copyright (c) Facebook, Inc. and its affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *)
-
-open! IStd
-
-type t = unit -> int
-
-let make : int -> t =
- fun init ->
-  let num_ref = ref init in
-  let get_num () =
-    let v = !num_ref in
-    num_ref := v + 1 ;
-    v
-  in
-  get_num
-
-
-let next : t -> int = fun counter -> counter ()
diff --git a/infer/src/bufferoverrun/counter.mli b/infer/src/bufferoverrun/counter.mli
deleted file mode 100644
index dfeda4a54..000000000
--- a/infer/src/bufferoverrun/counter.mli
+++ /dev/null
@@ -1,14 +0,0 @@
-(*
- * Copyright (c) Facebook, Inc. and its affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *)
-
-open! IStd
-
-type t
-
-val make : int -> t
-
-val next : t -> int