From e984393c47269961f2ec56032e1234acd34befd4 Mon Sep 17 00:00:00 2001
From: Robert Norton <1412774+rmn30@users.noreply.github.com>
Date: Thu, 21 Jul 2022 16:54:34 +0100
Subject: [PATCH] Fix a comment about where legalize_epcc is used. This is
 quite important as it affects the behaviour of sentries installed in xEPCC.

---
 src/cheri_sys_regs.sail | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/cheri_sys_regs.sail b/src/cheri_sys_regs.sail
index e46841d1..ce4be235 100644
--- a/src/cheri_sys_regs.sail
+++ b/src/cheri_sys_regs.sail
@@ -153,8 +153,7 @@ function legalize_tcc(o : Capability, v : Capability) -> Capability = {
 
 /*
  * Used during readout (but not assignment!) of ?EPCC registers (CSpecialRW,
- * handle_trap_extension) and not during control transfer
- * (prepare_xret_target).
+ * handle_trap_extension) and during control transfer (prepare_xret_target).
  *
  * The result is that it is only possible to faithfully read out ?EPCC if
  * either