From 0d1efff471dd005b40da962a0d856d3310e16294 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 3 Feb 2016 13:03:03 +0000
Subject: mips_extras.lem: fix typo in spelling of MEM_sync.

---
 mips/mips_extras.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mips/mips_extras.lem b/mips/mips_extras.lem
index 49a618dc..d1eacc1c 100644
--- a/mips/mips_extras.lem
+++ b/mips/mips_extras.lem
@@ -89,5 +89,5 @@ let memory_writes : memory_writes = [
 
 let barrier_functions = [
   (*Need to know what barrier kind to install*)
-  ("MEM_Sync", Isync);
+  ("MEM_sync", Isync);
 ]
-- 
cgit v1.2.3