From 6d7d2973b7e14d800ae209a4c3a925c7631222c3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 27 Nov 2016 21:22:59 +0100
Subject: [PATCH] fix the reference to the bullet fix in ssreflect

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 6d6700713..eead81e94 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@ This version is known to compile with:
  - [Ssreflect 1.6](https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.6)
 
 For development, better make sure you have a version of Ssreflect that includes
-commit be724937 (no such version has been released so far, you will have to
+commit ad273277 (no such version has been released so far, you will have to
 fetch the development branch yourself). Iris compiles fine even without this
 patch, but proof bullets will only be in 'strict' (enforcing) mode with the
 fixed version of Ssreflect.
-- 
GitLab