package de.tla2b.exceptions;

public abstract class TLA2BException extends Exception {

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