From 03538a45fb7db3520c7d462c3192076918ad7b90 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 13 Jan 2018 11:52:12 +0100
Subject: Mention the RISC-V port as well

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 1e368208..250814b1 100644
--- a/README.md
+++ b/README.md
@@ -3,8 +3,8 @@ The verified C compiler.
 
 ## Overview
 The CompCert C verified compiler is a compiler for a large subset of the
-C programming language that generates code for the PowerPC, ARM and x86
-processors.
+C programming language that generates code for the PowerPC, ARM, x86 and
+RISC-V processors.
 
 The distinguishing feature of CompCert is that it has been formally
 verified using the Coq proof assistant: the generated assembly code is
-- 
cgit