diff options
| author | Robert Norton | 2018-06-04 13:05:35 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-04 13:05:35 +0100 |
| commit | ebb3a7c46ceb01f6b461def9d34b732508c6333b (patch) | |
| tree | 3d2bea246de173945c955206c951925bfb26b44e | |
| parent | d0ea5d012a050ad2ca0bd19b5e3def0d596ed2b3 (diff) | |
add missing semi colon in arichardsons patch.
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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)))); |