# HG changeset patch
# User kazz <kazz@cr.ie.u-ryukyu.ac.jp>
# Date 1382034157 -32400
# Node ID 3f29a59267e2677ac9043394f801f872943b74da
# Parent  d2a448133bbd3cc3481c23ea03974734c15718d9
Remove unnecessary boxing.

diff -r d2a448133bbd -r 3f29a59267e2 src/alice/test/codesegment/api/FlipCodeSegment.java
--- a/src/alice/test/codesegment/api/FlipCodeSegment.java	Fri Oct 18 03:18:53 2013 +0900
+++ b/src/alice/test/codesegment/api/FlipCodeSegment.java	Fri Oct 18 03:22:37 2013 +0900
@@ -11,7 +11,7 @@
 	
 	@Override
 	public void run() {
-		Integer num = new Integer(0);
+		Integer num = 0;
 		ods.put(key, num);
 		
 		//System.out.println("Key is " +key);