/* TranslException - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
package alloy.transl;

public class TranslException extends RuntimeException
{
    public TranslException(String string) {
	super(string);
    }
}