de.tla2b.exceptions.ConfigFileErrorException Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tla2bAST Show documentation

Translator from TLA+ to ProB's AST representation.

The newest version!

package de.tla2b.exceptions;

public class ConfigFileErrorException extends TLA2BException {

	public ConfigFileErrorException(String s) {
		super(s);
	}
}