diff options
| author | Peter Sewell | 2016-02-25 11:56:53 +0000 |
|---|---|---|
| committer | Peter Sewell | 2016-02-25 11:56:53 +0000 |
| commit | 45c7902a41a8f160900bc6a8ed7c212093e89983 (patch) | |
| tree | 21286c488477181877487a800fea36012364af1e /mips/mips_extras.lem | |
| parent | 835b289f41e5f55b9c365edc920501290d79b667 (diff) | |
| parent | 655d8f0b01b6d7f06c08c9b5d4a3b177d802c609 (diff) | |
Merge branch 'master' of bitbucket.org:Peter_Sewell/l2
Conflicts:
src/Makefile
Diffstat (limited to 'mips/mips_extras.lem')
| -rw-r--r-- | mips/mips_extras.lem | 2 |
1 files changed, 1 insertions, 1 deletions
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); ] |