SymbolicSignedIntegerType.java

package edu.udel.cis.vsl.abc.ast.type.common;

import edu.udel.cis.vsl.abc.ast.type.IF.SignedIntegerType;

public class SymbolicSignedIntegerType extends SymbolicIntegerType implements
		SignedIntegerType {

	public SymbolicSignedIntegerType(String name) {
		super(name);
	}

}