package de.tla2b.exceptions;

@SuppressWarnings("serial")
public abstract class TLA2BException extends Exception{

	public TLA2BException(String e){
		super(e);
	}
}