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

package edu.uci.eecs.specCompiler.specExtraction;

public class PotentialCPDefineConstruct extends Construct {

}