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/SML/msort-800000.sml | 3 --- 1 file changed, 3 deletions(-) (limited to 'comparison/SML/msort-800000.sml') diff --git a/comparison/SML/msort-800000.sml b/comparison/SML/msort-800000.sml index 2a33649..9209685 100644 --- a/comparison/SML/msort-800000.sml +++ b/comparison/SML/msort-800000.sml @@ -28,8 +28,6 @@ fun msort [] = [] end; - - (* mkRandList *) local val nextInt = Random.randRange(1,10000); @@ -42,4 +40,3 @@ end; msort (mkRandList 800000); - -- cgit v1.2.3