From 36b581cecdc9c4462fd256d629e5ec846828000f Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Tue, 17 Jul 2018 10:21:50 -0700
Subject: [PATCH] Add cost.mli

Reviewed By: ezgicicek

Differential Revision: D8876442

fbshipit-source-id: d2116dc3b
---
 infer/src/checkers/cost.mli | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 infer/src/checkers/cost.mli

diff --git a/infer/src/checkers/cost.mli b/infer/src/checkers/cost.mli
new file mode 100644
index 000000000..aaee7beee
--- /dev/null
+++ b/infer/src/checkers/cost.mli
@@ -0,0 +1,10 @@
+(*
+ * Copyright (c) 2017-present, Facebook, Inc.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+open! IStd
+
+val checker : Callbacks.proc_callback_t