diff options
Diffstat (limited to 'sample/gcd.in')
| -rw-r--r-- | sample/gcd.in | 6 |
1 files changed, 3 insertions, 3 deletions
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 |