diff --git a/README b/README
index b10db0a411cf03b6ad87e1ef446ab70c553021b7..5e2238711d1f93de35605c189b0b650ca8b76f22 100644
--- a/README
+++ b/README
@@ -6,6 +6,11 @@ This version is known to compile with:
  - Coq 8.5
  - Ssreflect 1.6
  - Autosubst 1.4
+
+For development, better make sure you have a version of Ssreflect that includes commit be724937
+(no such version has been released so far, you'll 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.
  
 BUILDING INSTRUCTIONS
 ---------------------