diff options
| author | Shaked Flur | 2017-08-24 10:09:00 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-08-24 10:09:00 +0100 |
| commit | 3721093caa882173526ab7ba03ccaa3226e2a94f (patch) | |
| tree | d05b20a66a17d890700c11553f8196c57fbd614a | |
| parent | 888b0f2bd01b8a2e026d6a081e85ffe2df3ed16c (diff) | |
typo
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem index b52eb58f..60beffb4 100644 --- a/src/lem_interp/sail_impl_base.lem +++ b/src/lem_interp/sail_impl_base.lem @@ -504,7 +504,7 @@ instance (Show barrier_kind) | Barrier_RISCV_r_rw -> "Barrier_RISCV_r_rw" | Barrier_RISCV_rw_w -> "Barrier_RISCV_rw_w" | Barrier_RISCV_w_w -> "Barrier_RISCV_w_w" - | Barrier_RISCV_I -> "Barrier_RISCV_i" + | Barrier_RISCV_i -> "Barrier_RISCV_i" | Barrier_X86_MFENCE -> "Barrier_X86_MFENCE" end end |