From 3c552d403515d5dc2e44d1e1f16be0d1cc4b1c5e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 1 Jun 2016 16:27:35 +0100
Subject: Tweak wording of mips README.

---
 mips/README | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/mips/README b/mips/README
index feaebfde..8a641e69 100644
--- a/mips/README
+++ b/mips/README
@@ -1,6 +1,7 @@
-This directory contains a MIPS64-style processor written in Sail.  To
-support integration with the CHERI ISA it is split across several
-files, which must be given to sail in the following order:
+This directory contains a MIPS64-style architecture specification
+written in Sail.  To support integration with the CHERI ISA it is
+split across several files, which must be given to sail in the
+following order:
 
  1. mips_prelude.sail contains definitions used in the rest of the
  ISA, including register declarations and helper functions, for
-- 
cgit v1.2.3