diff --git a/third_party/fiat/README.chromium b/third_party/fiat/README.chromium
index fe48544..fdf28a4 100644
--- a/third_party/fiat/README.chromium
+++ b/third_party/fiat/README.chromium
@@ -2,6 +2,7 @@
 Short Name: fiat-crypto
 URL: https://github.com/mit-plv/fiat-crypto
 Version: git (see METADATA)
+Revision: 6ccc6638716d4632304baf1adbb5c47c3a12ea6f
 License: MIT
 License File: LICENSE
 Security Critical: yes