diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 17:59:46 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 17:59:46 +0900 |
| commit | 1bbac5efbe3a83ee9293f06ab9dc0f3f7821aa3b (patch) | |
| tree | 9f6e237f530a3e0b73d56fd75b4830565648c46d /sample/gcd.in | |
| parent | bf938ad4dbdd97a276315b90089fd936075944ca (diff) | |
| parent | 083669ae5a6c2f5d1e5dd7500e73a01ebd44020c (diff) | |
| download | inpla-1bbac5efbe3a83ee9293f06ab9dc0f3f7821aa3b.tar.gz inpla-1bbac5efbe3a83ee9293f06ab9dc0f3f7821aa3b.zip | |
Merge branch 'develop'
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 |