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/isort-40000.in | 2 -- 1 file changed, 2 deletions(-) (limited to 'comparison/Inpla/src/isort-40000.in') diff --git a/comparison/Inpla/src/isort-40000.in b/comparison/Inpla/src/isort-40000.in index ff831a3..295f6f4 100644 --- a/comparison/Inpla/src/isort-40000.in +++ b/comparison/Inpla/src/isort-40000.in @@ -18,5 +18,3 @@ MkRandList(ret) >< (int n) MkRandList(cnt)~(LIST_ELEM), IS(ret)~cnt; ret; - - -- cgit v1.2.3