diff options
| author | Robert Norton | 2017-01-25 16:53:42 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-25 16:53:42 +0000 |
| commit | 950ac43cc496319b263c87fbe47c45d06838c634 (patch) | |
| tree | 583ed8f134da1b4877f10596a802dd6e1c87079a /cheri | |
| parent | 2805da9219c3e5c7570c84704e4476895285345c (diff) | |
fix typo in c256 capRegToCapStruct
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]; |