# HG changeset patch
# User one
# Date 1413534063 -32400
# Node ID 1c3c3300716ca7e575cee96478498bc008f66f0e
# Parent  bb53330364f11b68020ef7e0e916180225597089
change

diff -r bb53330364f1 -r 1c3c3300716c src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java	Tue Oct 14 17:26:29 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java	Fri Oct 17 17:21:03 2014 +0900
@@ -101,5 +101,4 @@
 		return cs.getOperations();
 	}
 	
-	
 }
diff -r bb53330364f1 -r 1c3c3300716c src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/InterfaceTraverser.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/InterfaceTraverser.java	Tue Oct 14 17:26:29 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/InterfaceTraverser.java	Fri Oct 17 17:21:03 2014 +0900
@@ -65,7 +65,7 @@
 
 	public Iterator<Pair<TreeNode, NodePath>> find(final Query query, String key, String searchValue) {
 		
-		if (!index.get(key).isNone()) {
+		if (index.get(key).isSome()) {
 
 			TreeMap<String, List<Pair<TreeNode, NodePath>>> innerIndex = this.index.get(key).some();
 			Option<List<Pair<TreeNode, NodePath>>> opList = innerIndex.get(searchValue);
diff -r bb53330364f1 -r 1c3c3300716c src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/DeleteIndexEditor.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/DeleteIndexEditor.java	Tue Oct 14 17:26:29 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/DeleteIndexEditor.java	Fri Oct 17 17:21:03 2014 +0900
@@ -54,10 +54,9 @@
 				List<Pair<TreeNode, NodePath>> newList = List.nil();
 				
 				for (Pair<TreeNode, NodePath> pathNode : list){
-					System.out.println(pathString);
-					System.out.println(pathNode.right().toString());
-					if (pathNode.right().toString() == pathString)
+					if (!pathNode.right().toString().equalsIgnoreCase(pathString)) {
 						newList = newList.cons(pathNode);
+					}
 				}
 				
 				if (newList.isEmpty()) {