diff options
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem index 60beffb4..65ae87c2 100644 --- a/src/lem_interp/sail_impl_base.lem +++ b/src/lem_interp/sail_impl_base.lem @@ -482,7 +482,7 @@ type barrier_kind = | Barrier_RISCV_w_w | Barrier_RISCV_i (* X86 *) - | Barrier_X86_MFENCE + | Barrier_x86_MFENCE instance (Show barrier_kind) @@ -505,7 +505,7 @@ instance (Show barrier_kind) | Barrier_RISCV_rw_w -> "Barrier_RISCV_rw_w" | Barrier_RISCV_w_w -> "Barrier_RISCV_w_w" | Barrier_RISCV_i -> "Barrier_RISCV_i" - | Barrier_X86_MFENCE -> "Barrier_X86_MFENCE" + | Barrier_x86_MFENCE -> "Barrier_x86_MFENCE" end end @@ -735,9 +735,9 @@ let ~{ocaml} barrier_kindCompare bk1 bk2 = | (Barrier_RISCV_i, _) -> LT | (_, Barrier_RISCV_i) -> GT - | (Barrier_X86_MFENCE, Barrier_X86_MFENCE) -> EQ - (*| (Barrier_X86_MFENCE, _) -> LT - | (_, Barrier_X86_MFENCE) -> GT*) + | (Barrier_x86_MFENCE, Barrier_x86_MFENCE) -> EQ + (*| (Barrier_x86_MFENCE, _) -> LT + | (_, Barrier_x86_MFENCE) -> GT*) end let inline {ocaml} barrier_kindCompare = defaultCompare |