package key;


/**
  *  This exception is used when something is called that
  *  is simply not necessary - an add on a group that is
  *  already added, and maybe (in the future), remove on
  *  a atom that isn't there.  In fact, I'm not going
  *  to use this at all, atm
 */
public class RedundantException extends RuntimeException
{
	public RedundantException( String msg )
	{
		super( msg );
	}
}