/* NoSuchTreePosition.java */

package tree;

/**
 * Implements an exception that indicates that the user is attempting to
 * operate on an invalid tree position.
 */

public class NoSuchTreePosition extends Exception {
  NoSuchTreePosition() {
    super();
  }
}