From 5fd6654b99cf89bc86b6fae42d8d1120dca4dc65 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 16 Feb 2015 13:20:55 +0100
Subject: [PATCH] Make compile with Coq 8.4pl5.

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

diff --git a/README b/README
index 33b1b331..de2d292d 100644
--- a/README
+++ b/README
@@ -3,7 +3,7 @@ PREREQUISITES
 
 This version is known to compile with:
 
- - Coq 8.4pl3
+ - Coq 8.4pl5
  - SCons 2.0
  - Ocaml 4.01.0
  - GNU C preprocessor 4.7
-- 
GitLab