From 9c8201b326a53472f144e8f1220da43451d22d7e Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Mon, 25 Jul 2022 17:11:39 +0900
Subject: v0.9.0

---
 sample/ack_3_5.in | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'sample/ack_3_5.in')

diff --git a/sample/ack_3_5.in b/sample/ack_3_5.in
index 7b6e0bd..19f92fa 100644
--- a/sample/ack_3_5.in
+++ b/sample/ack_3_5.in
@@ -20,9 +20,13 @@ ack(ret, int m) >< (int n)
 | n==0 => ack(ret, m-1)~1
 | _ => ack(cnt, m)~(n-1), ack(ret, m-1)~cnt;
 
-ackMain(ret)><(int m, int n) => ack(ret,n)~m;
+ackMain(ret)><(int m, int n) => ack(ret,m)~n;
 
-ackMain(ret)~(3,5);
+
+// main
+const M=3;
+const N=5;
+ackMain(ret)~(M,N);
 ret;
 free ret;
 
-- 
cgit v1.2.3