SvcompException.java

package edu.udel.cis.vsl.civl.run.IF;

public class SvcompException extends Exception {

	/**
	 * 
	 */
	private static final long serialVersionUID = 1L;

}