From 2de302bcb3fa7e12c83a58909232a527c4d5372e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 27 Apr 2022 16:58:17 +0900 Subject: Remove redundant letters --- comparison/Inpla/src/bsort-40000-reuse.in | 1 - 1 file changed, 1 deletion(-) (limited to 'comparison/Inpla/src/bsort-40000-reuse.in') diff --git a/comparison/Inpla/src/bsort-40000-reuse.in b/comparison/Inpla/src/bsort-40000-reuse.in index 8b6a386..3abd0ec 100644 --- a/comparison/Inpla/src/bsort-40000-reuse.in +++ b/comparison/Inpla/src/bsort-40000-reuse.in @@ -11,7 +11,6 @@ B(ret, int x) >< (int y):ys - const LIST_ELEM=40000; MkRandList(ret) >< (int n) -- cgit v1.2.3