diff options
| author | Robert Norton | 2016-07-27 16:27:52 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-07-27 16:34:22 +0100 |
| commit | 84ca5cc88d16a9a0758aa0d3816bb1baa54f1ca6 (patch) | |
| tree | 851a9a21bb79790f4c1119bafe1679b24f54762e | |
| parent | 7011d510c46475f87476c4241ec54e35c8a787f1 (diff) | |
Fix misspelt marker comment.
| -rw-r--r-- | cheri/cheri_insts.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index e9414547..1a741353 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -219,7 +219,7 @@ function clause decode (0b010010 : 0b01110 : (regno) rd : (regno) cb : (regno) c function clause execute(CPtrCmp(rd, cb, ct, op)) = { - (* START_CPtrCMP *) + (* START_CPtrCmp *) checkCP2usable(); if (register_inaccessible(cb)) then exit (raise_c2_exception_v(cb)) @@ -258,7 +258,7 @@ function clause execute(CPtrCmp(rd, cb, ct, op)) = case CEXEQ -> [cb_val == ct_val] }) } - (* END_CPtrCMP *) + (* END_CPtrCmp *) } union ast member regregreg CIncOffset |