diff --git a/README.md b/README.md
index 35668cb..2e26831 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,7 @@ Compilers
 =========
 
 * [Clang][38] - A C compiler for LLVM. Supports C11. [NCSA][39].
-* [CompCert][] - A fully-verified C compiler. Supports almost all of C89. [GNU GPL2.1][8].
+* [CompCert][269] - A fully-verified C compiler. Supports almost all of C89. [GNU GPL2.1][8].
 * [GCC][40] - Provides a C compiler as part of its compiler set. Supports C11 and OpenMP. [GNU GPL3][41].
 * [PCC][74] - A very old C compiler. Supports C99. [Various licenses][75], all free.
 * [TCC][58] - Tiny C Compiler; a small, fast C compiler. Supports C99 (except complex types). [GNU GPL2.1][8].