diff options
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_256.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_prelude_256.sail b/cheri/cheri_prelude_256.sail index 959fcee3..8cb162f8 100644 --- a/cheri/cheri_prelude_256.sail +++ b/cheri/cheri_prelude_256.sail @@ -95,8 +95,8 @@ function CapStruct capRegToCapStruct((CapReg) capReg) = perm_reserved9 = capReg[202]; perm_reserved8 = capReg[201]; permit_seal = capReg[200]; - permit_store_local_cap = capReg[190]; - permit_store_cap = capReg[199]; + permit_store_local_cap = capReg[199]; + permit_store_cap = capReg[198]; permit_load_cap = capReg[197]; permit_store = capReg[196]; permit_load = capReg[195]; |