diff options
Diffstat (limited to 'riscv/riscv_extras_embed_sequential.lem')
| -rw-r--r-- | riscv/riscv_extras_embed_sequential.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/riscv_extras_embed_sequential.lem b/riscv/riscv_extras_embed_sequential.lem index 044b2aa3..2d28f3c2 100644 --- a/riscv/riscv_extras_embed_sequential.lem +++ b/riscv/riscv_extras_embed_sequential.lem @@ -4,6 +4,7 @@ open import Sail_impl_base open import Sail_values open import Sail_operators open import State +open import State_monad let MEM_fence_rw_rw () = barrier Barrier_RISCV_rw_rw let MEM_fence_r_rw () = barrier Barrier_RISCV_r_rw |