//
// InputException.java: Error in input.
// 
// Author: Mosur Ravishankar
// Date: 18 Mar 1998
//


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