From 76026f8c0c055fb29aa52da6cee93b926bcedeaf Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Mon, 16 Feb 2015 12:03:12 +0100
Subject: [PATCH] Add cpp to README.

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

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