diff options
| author | Thomas Bauereiss | 2018-11-30 18:28:32 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-11-30 18:28:32 +0000 |
| commit | 747999f5c9f9234d04ef9e574a415a88e2bcb52b (patch) | |
| tree | 11cbbf9f53fb41bb12a1d5d9960cc8370d2c264e /src/gen_lib/sail2_string.lem | |
| parent | 17334803f125e3b839fdb7a780989d8eba555555 (diff) | |
Rename Undefined outcome to Choose
It is used for nondeterministic choice, so Undefined might be
misleading.
Diffstat (limited to 'src/gen_lib/sail2_string.lem')
0 files changed, 0 insertions, 0 deletions