# HG changeset patch # User tatsuki # Date 1441092880 -32400 # Node ID 7e1a59c2ede600fdb6ca6d6f7baef19db3b3c513 # Parent 3b31dd5e5a28902b3e8c912a1b15791096b22b86 add TreeMapBenchMark.java diff -r 3b31dd5e5a28 -r 7e1a59c2ede6 src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/Index.java --- a/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/Index.java Tue Sep 01 16:09:08 2015 +0900 +++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/Index.java Tue Sep 01 16:34:40 2015 +0900 @@ -7,8 +7,8 @@ //import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.TreeMapOrd; //import fj.Ord; //import fj.P2; -//import fj.data.Option; -//import fj.data.TreeMap; +//import fj.Data.Option; +//import fj.Data.TreeMap; // //public class Index { //