package witness.generator;

/**
 * While I don't have a better result...
 * 
 * @author jesus
 */
public class TimeOutException extends RuntimeException {

	public TimeOutException() {
		// TODO Auto-generated constructor stub
	}

}
