diff options
Diffstat (limited to 'examples/boundedrecursion.pcdt')
| -rw-r--r-- | examples/boundedrecursion.pcdt | 2 |
1 files changed, 1 insertions, 1 deletions
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)); ) )); |