diff src/main/java/alice/jungle/transaction/NetworkDefaultJungleTree.java @ 195:82698be06c6c default tip

change index TreeMap
author tatsuki
date Tue, 28 Apr 2015 07:51:41 +0900
parents fd4064e110bd
children
line wrap: on
line diff
--- a/src/main/java/alice/jungle/transaction/NetworkDefaultJungleTree.java	Mon Mar 23 16:18:47 2015 +0900
+++ b/src/main/java/alice/jungle/transaction/NetworkDefaultJungleTree.java	Tue Apr 28 07:51:41 2015 +0900
@@ -2,7 +2,7 @@
 
 
 import fj.data.List;
-import fj.data.TreeMap;
+import jp.ac.u_ryukyu.ie.cr.tatsuki.TreeMap.TreeMap;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.DefaultJungleTree;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTree;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTreeEditor;