From 083669ae5a6c2f5d1e5dd7500e73a01ebd44020c Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 19 Dec 2021 17:59:31 +0900 Subject: v0.5.5 --- sample/gcd.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'sample/gcd.in') diff --git a/sample/gcd.in b/sample/gcd.in index e616e28..5a57d8d 100644 --- a/sample/gcd.in +++ b/sample/gcd.in @@ -5,12 +5,12 @@ // Rule -gcd(ret) >< (int a, int b) +gcd(ret, int a) >< (int b) | b==0 => ret ~ a -| _ => gcd(ret) ~ (b, a%b); +| _ => gcd(ret, b) ~ a%b; // Net -gcd(r) ~ (14,21); +gcd(r, 14) ~ 21; r; // it should be 7 -- cgit v1.2.3