From 3721093caa882173526ab7ba03ccaa3226e2a94f Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Thu, 24 Aug 2017 10:09:00 +0100
Subject: typo

---
 src/lem_interp/sail_impl_base.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3