diff options
Diffstat (limited to 'mips/mips_extras_embed_sequential.lem')
| -rw-r--r-- | mips/mips_extras_embed_sequential.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_extras_embed_sequential.lem b/mips/mips_extras_embed_sequential.lem index e765bd23..6070df09 100644 --- a/mips/mips_extras_embed_sequential.lem +++ b/mips/mips_extras_embed_sequential.lem @@ -40,7 +40,7 @@ let MEMval_tag_conditional (_,_,v) = write_mem_val endian v >>= fun b -> return val MEM_sync : unit -> M unit -let MEM_sync () = barrier Barrier_Isync +let MEM_sync () = barrier Barrier_MIPS_SYNC let duplicate (bit,len) = |