// file:    eofException.java
// author:  Robert Keller
// purpose: eofException class of poly package

package polya;

import java.io.*;
import java.lang.*;
	
/**
  *  eofException is thrown when there is an end-of-file for Tokenizer
 **/

public class eofException extends Exception
  {
  }