diff options
| author | Kathy Gray | 2014-06-30 17:37:45 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-30 17:37:45 +0100 |
| commit | 62d1ba743332e4a6a71e4579fbf8900a455a69a8 (patch) | |
| tree | 34e7416a65bbc74e6e6ba33cb9a7e6844d8bd917 /src/lem_interp/interp_interface.lem | |
| parent | b1204563ae0ec15a3ea824874fdc893451255d6e (diff) | |
Support for nondeterministic blocks
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index d102c1fe..4d8cc82c 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -29,7 +29,7 @@ type outcome = | Barrier of barrier_kind * instruction_state | Read_reg of reg_name * (value -> instruction_state) | Write_reg of reg_name * value * instruction_state -| Nondet_choice of list instruction_state +| Nondet_choice of list instruction_state * instruction_state | Internal of instruction_state | Done | Error of string |