diff src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java @ 166:6615db346bf5

miner change
author one
date Wed, 24 Dec 2014 14:33:17 +0900
parents 89ed172137ab
children 1749338f2366 3cd075a445bf
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java	Mon Dec 08 10:49:53 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java	Wed Dec 24 14:33:17 2014 +0900
@@ -2,10 +2,10 @@
 
 import java.util.Iterator;
 
-
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNodeChildren;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.TreeMapOrd;
+import fj.Ord;
 import fj.data.Option;
 import fj.data.TreeMap;
 
@@ -14,7 +14,8 @@
   private TreeMap<TreeNode, TreeNode> parentIndex;
 
   public ParentIndex() {
-    parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd);
+    Ord<TreeNode> aaa = TreeMapOrd.treeNodeOrd;
+    parentIndex = TreeMap.empty(aaa);
   }
 
   public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) {