diff options
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 |