From 9f2ec1fcb16191ad9c54f68152f03ca80f85522e Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 18 Aug 2014 16:22:28 +0100
Subject: fix compile error

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

(limited to 'src')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index 95cb3f36..ba501577 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -111,7 +111,7 @@ let rec interp_to_outcome mode thunk =
       | _ -> Error ("Memory " ^ i ^ " function with write kind not found")
       end 
     | Interp.Barrier (Id_aux (Id i) _) lval ->
-      Barrier Plain next_state (* TODO set up some barrier functions and see if the value would be anything needed *)
+      Barrier Sync next_state (* TODO set up some barrier functions and see if the value would be anything needed *)
     | Interp.Nondet exps -> 
       let nondet_states = List.map (Interp.set_in_context next_state) exps in
       Nondet_choice nondet_states next_state      
-- 
cgit v1.2.3