From 81fda963016bff77a25666f50cc3afb2f19878be Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Sun, 11 Nov 2018 16:45:48 -0800 Subject: Updated to use 'set' syntax instead of ": yes" --- core/collections.nom | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'core/collections.nom') 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) -- cgit v1.2.3