view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/util/GetOldTreeError.java @ 190:a01507a9f826 default tip

change TreeMapBenchMark
author tatsuki
date Tue, 21 Apr 2015 17:28:20 +0900
parents ef183969bf31
children
line wrap: on
line source

package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util;

public class GetOldTreeError implements Error {
  public static final Error OLD_TREE_NOT_FOUND = new DefaultError();
}