[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / CPDefineConstruct.java

package edu.uci.eecs.specCompiler.specExtraction;

public class CPDefineConstruct extends Construct {

}