From b73a7daa6d2b661659ecf066d25d146cadaec1e8 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Wed, 21 Sep 2016 10:42:09 +0100
Subject: fixes

---
 src/lem_interp/interp_inter_imp.lem | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index 8b81b83f..9a06b0ba 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -516,7 +516,6 @@ let instruction_analysis top_level end_flag thunk_name regn_to_reg_details regis
                         | "Barrier_DSB_ST" -> DSB_ST
                         | "Barrier_DSB_LD" -> DSB_LD
                         | "Barrier_ISB" ->    ISB
-                        | "Barrier_Sync" ->   Sync
                         end)
          | Interp.V_ctor (Id_aux (Id "IK_mem_read") _) _ _
            (Interp.V_ctor (Id_aux (Id r) _) _ _ _) ->
-- 
cgit v1.2.3