# HG changeset patch
# User e095732
# Date 1362725808 -32400
# Node ID fc4dbf4e1978867c3b7bf8bd83cb17d2b9703d2a
# Parent  7c695190fa2b31ce1dcee1ed57fc47066297e4e0
minor change

diff -r 7c695190fa2b -r fc4dbf4e1978 src/alice/test/codesegment/local/mergesort/ShowResult.java
--- a/src/alice/test/codesegment/local/mergesort/ShowResult.java	Thu Mar 07 23:59:03 2013 +0900
+++ b/src/alice/test/codesegment/local/mergesort/ShowResult.java	Fri Mar 08 15:56:48 2013 +0900
@@ -21,6 +21,7 @@
 	public void run() {
 		System.out.println(System.currentTimeMillis() - SortStart.t);
 		DataList list = (DataList)info.obj;
+		System.out.println("size check :"+ list.table.size());
 		Sort.check(list.table);
 		System.exit(0);
 	}