aboutsummaryrefslogtreecommitdiff
path: root/tests/control_flow.nom
diff options
context:
space:
mode:
Diffstat (limited to 'tests/control_flow.nom')
-rw-r--r--tests/control_flow.nom14
1 files changed, 1 insertions, 13 deletions
diff --git a/tests/control_flow.nom b/tests/control_flow.nom
index 20ccabe..238bcbf 100644
--- a/tests/control_flow.nom
+++ b/tests/control_flow.nom
@@ -1,5 +1,5 @@
#
- Tests for the stuff defined in lib/control_flow.nom
+ Tests for the stuff defined in core/control_flow.nom
use "core"
@@ -193,15 +193,3 @@ assume
return %n
..= 6
-#
- %nums <- []
- for % in
- values
- -> 4
- -> 5
- -> 6
- ..
- add % to %nums
-
- assume (%nums = [4,5,6]) or barf "Coroutine iteration failed"
-