diff options
| author | Kathy Gray | 2014-08-18 16:22:28 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-18 16:22:28 +0100 |
| commit | 9f2ec1fcb16191ad9c54f68152f03ca80f85522e (patch) | |
| tree | 974669fdac6cbc4b4c0b376b813556cf170bcd09 /src | |
| parent | 1a52eb107ff7c8324e8e5bffdc08aae88b7368b7 (diff) | |
fix compile error
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
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 |