From 825c557dfbac1beff9a3ab0b5ac5ef6e27462f35 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 9 Jan 2022 18:11:39 +0900 Subject: v0.6.0 --- comparison/Inpla/src/msort-800000.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'comparison/Inpla/src') 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 -- cgit v1.2.3