• Home
• de.hhu.stups
• tla2bAST
• 1.4.0
• source code
• UnificationException.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

package de.tla2b.exceptions;

public class UnificationException extends TLA2BException {

	public UnificationException() {
		super(null);
	}
}