diff options
Diffstat (limited to 'examples/boundedrecursion.pcdt')
| -rw-r--r-- | examples/boundedrecursion.pcdt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/boundedrecursion.pcdt b/examples/boundedrecursion.pcdt index 980ac36..3187960 100644 --- a/examples/boundedrecursion.pcdt +++ b/examples/boundedrecursion.pcdt @@ -1,9 +1,9 @@ store(1000; maxSize;) store( - ( + ref(( print(arg0()) if(not(eq(arg0() maxSize())) incFunc(sum(1; arg0()))) - ) + )) incFunc; ) incFunc(0;) |