diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-11-11 16:45:48 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-11-11 16:45:48 -0800 |
| commit | 81fda963016bff77a25666f50cc3afb2f19878be (patch) | |
| tree | 6181b360672f35764b7d89ad4729bf8cc87a6d15 /core/collections.nom | |
| parent | c5ea506accd9518e4e5a83d98533f7d138805ffd (diff) | |
Updated to use 'set' syntax instead of ": yes"
Diffstat (limited to 'core/collections.nom')
| -rw-r--r-- | core/collections.nom | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/core/collections.nom b/core/collections.nom index e9457e6..82b5dfb 100644 --- a/core/collections.nom +++ b/core/collections.nom @@ -15,11 +15,11 @@ test: %visited = {} for %i = %x in %list: %visited.%i = (yes) - assume (%visited == {1: yes, 2: yes, 3: yes, 4: yes, 5: yes}) + assume (%visited == {1, 2, 3, 4, 5}) %visited = {} for %x in %list: %visited.%x = (yes) - assume (%visited == {1: yes, 2: yes, 3: yes, 4: yes, 5: yes}) + assume (%visited == {1, 2, 3, 4, 5}) assume ((%list::2 nd to last) == 4) assume ((%list::first) == 1) assume (%list::has 3) |