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