SymbolicPrimitiveType.java

package edu.udel.cis.vsl.tass.symbolic.type;

public class SymbolicPrimitiveType extends SymbolicType {

	SymbolicPrimitiveType(SymbolicTypeKind kind) {
		super(kind);
	}

	public String toString() {
		return kind().toString();
	}

}