From d3905474c9c84da4a789f6dc40aa1ae7d0bfaf2a Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Fri, 14 Dec 2018 20:53:00 -0800
Subject: Removed EOL comments

---
 core/operators.nom | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'core')

diff --git a/core/operators.nom b/core/operators.nom
index bc658b1..91a09ab 100644
--- a/core/operators.nom
+++ b/core/operators.nom
@@ -220,7 +220,8 @@ test:
 (not $) compiles to "(not \($ as lua expr))"
 test:
     assume ((size of [1, 2, 3]) == 3)
-(size of $list) compiles to "(#\($list as lua expr))"
+    assume ((# [1, 2, 3]) == 3)
+[# $list, size of $list] all compile to "(#\($list as lua expr))"
 ($list is empty) compiles to "(#\($list as lua expr) == 0)"
 
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-- 
cgit v1.2.3