From ebb3a7c46ceb01f6b461def9d34b732508c6333b Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 4 Jun 2018 13:05:35 +0100
Subject: add missing semi colon in arichardsons patch.

---
 cheri/cheri_prelude_common.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail
index 8a2211c2..cc4c657a 100644
--- a/cheri/cheri_prelude_common.sail
+++ b/cheri/cheri_prelude_common.sail
@@ -456,7 +456,7 @@ function dump_cp2_state () = {
   print(concat_str("DEBUG CAP PCC", capToString(capRegToCapStruct(PCC))));
   foreach(i from 0 to 31) {
     print(concat_str("DEBUG CAP REG ", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i))))))
-  }
+  };
   print(concat_str("DEBUG CAP HWREG 00", capToString(capRegToCapStruct(C00))));
   print(concat_str("DEBUG CAP HWREG 01", capToString(capRegToCapStruct(CTLSU))));
   print(concat_str("DEBUG CAP HWREG 08", capToString(capRegToCapStruct(CTLSP))));
-- 
cgit v1.2.3