From 4d23334abdbb5a7e5804945a3c4cc5032f0a18f8 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 11 Dec 2015 06:35:31 -0800
Subject: [PATCH] add version.mli

Summary:
public
version.ml changes at each commit, which triggers the recompilation of all .ml
files that depend on it. Adding version.mli should prevent that.

Reviewed By: jberdine

Differential Revision: D2748986

fb-gh-sync-id: 5a59a14
---
 infer/src/backend/version.mli | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 infer/src/backend/version.mli

diff --git a/infer/src/backend/version.mli b/infer/src/backend/version.mli
new file mode 100644
index 000000000..c21c2895a
--- /dev/null
+++ b/infer/src/backend/version.mli
@@ -0,0 +1,11 @@
+(*
+ * Copyright (c) 2015 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ *)
+
+val versionString : string
+val versionJson : string