SymbolicUnsignedIntegerType.java

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

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

public class SymbolicUnsignedIntegerType extends SymbolicIntegerType implements
		UnsignedIntegerType {

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

}