diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-09 18:21:11 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-09 18:21:11 +0900 |
| commit | f17513be22ab8883ff2281c9ad80bf7b1c574c22 (patch) | |
| tree | 800fc8a7036db3452b2e04b6b4dc0408bb168628 /comparison/Inpla/src | |
| parent | 0c2325ec1e518c8aebecfcfd1c8e64e08ee20b20 (diff) | |
| parent | 55dc9a89b7d13ab0f93fc52acd8a41084c0f93c9 (diff) | |
| download | inpla-f17513be22ab8883ff2281c9ad80bf7b1c574c22.tar.gz inpla-f17513be22ab8883ff2281c9ad80bf7b1c574c22.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/Inpla/src')
| -rw-r--r-- | comparison/Inpla/src/msort-800000.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/comparison/Inpla/src/msort-800000.in b/comparison/Inpla/src/msort-800000.in index e04803f..b77f353 100644 --- a/comparison/Inpla/src/msort-800000.in +++ b/comparison/Inpla/src/msort-800000.in @@ -8,7 +8,7 @@ MS_tail(ret, int n) >< x:xs => MS(a)~left, MS(b)~right, Merge(ret,b)~a; Merge(ret, snd) >< [] => ret~snd; -Merge(ret, snd) >< x:xs => MergeC(ret, x, xs)~snd; +Merge(ret, snd) >< x:xs => MergeCC(ret, x, xs)~snd; MergeCC(ret, int y, ys) >< [] => ret~(y:ys); MergeCC(ret, int y, ys) >< (int x):xs |