aboutsummaryrefslogtreecommitdiff
path: root/tests/collections.nom
diff options
context:
space:
mode:
authorBruce Hill <bitbucket@bruce-hill.com>2018-04-19 17:23:44 -0700
committerBruce Hill <bitbucket@bruce-hill.com>2018-04-19 17:23:54 -0700
commitda33269c307c8a045e548cb1df2a3281a7a0f99e (patch)
tree9451b857633b0869b4589a73107056815aa560c7 /tests/collections.nom
parentdcb380f1f6ec67c52364b1246546f1f6b2c168d3 (diff)
All tests passing (except object)
Diffstat (limited to 'tests/collections.nom')
-rw-r--r--tests/collections.nom2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/collections.nom b/tests/collections.nom
index 855baea..60b2d25 100644
--- a/tests/collections.nom
+++ b/tests/collections.nom
@@ -11,7 +11,7 @@ assume (99 isn't in [1,2,3])
assume ({x:no} has key "x")
assume ({x:no} doesn't have key "y")
assume (not ({x:no} doesn't have key "x"))
-assume ((size of [1,2,3]) = 3)
+assume ((length of [1,2,3]) = 3)
%list <- [1,2,3,4,5]
append 6 to %list
assume ((last in %list) = 6)