diff --git a/opam.locked b/opam.locked
index 1bea0caba..950b340e8 100644
--- a/opam.locked
+++ b/opam.locked
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "infer"
-version: "fb"
+version: "0.16.0"
 synopsis: "A static analyzer for Java, C, C++, and Objective-C"
 maintainer: "the infer team"
 authors: "Facebook"