From 9c66e2330ef43196792d3858242e3e84f3de781d Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Sun, 19 Feb 2023 13:47:32 -0800 Subject: cleaned up examples --- examples/boundedrecursion.pcdt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'examples/boundedrecursion.pcdt') 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;) -- cgit v1.3.1