From 5e08f27d7124f147b703b2a29dbbc8a88132f305 Mon Sep 17 00:00:00 2001
From: Krste Asanovic <krste@eecs.berkeley.edu>
Date: Tue, 6 Nov 2018 19:15:49 -0800
Subject: Updated status of counters.  Not ready for ratification as there are
 issues outstanding.

---
 src/counters.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/counters.tex')

diff --git a/src/counters.tex b/src/counters.tex
index 65c95b7..1700f15 100644
--- a/src/counters.tex
+++ b/src/counters.tex
@@ -133,7 +133,7 @@ The RDINSTRET pseudoinstruction reads the low XLEN bits of the {\tt
   instret} CSR, which counts the number of instructions retired by
 this hart from some arbitrary start point in the past.  RDINSTRETH is
 an RV32I-only instruction that reads bits 63--32 of the same
-instruction counter. The underlying 64-bit counter that should never
+instruction counter. The underlying 64-bit counter should never
 overflow in practice.
 
 The following code sequence will read a valid 64-bit cycle counter value into
-- 
cgit v1.1

