From 2127b746f0eecb657b31653ad5967623f994cbaf Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Sat, 4 Mar 2023 01:19:17 -0800 Subject: added any(), all(), one(). replaced not() with none() --- examples/boundedrecursion.pcdt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/boundedrecursion.pcdt') diff --git a/examples/boundedrecursion.pcdt b/examples/boundedrecursion.pcdt index 12981da..bbe4194 100644 --- a/examples/boundedrecursion.pcdt +++ b/examples/boundedrecursion.pcdt @@ -2,7 +2,7 @@ store(1000, "maxSize"); store( ref(( print(arg0); - if(not(eq(arg0, maxSize)) + if(none(eq(arg0, maxSize)) incFunc(sum(1, arg0)); ) )); -- cgit v1.3.1