add more, GlobalConstruct parsed

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

package edu.uci.eecs.specCompiler.specExtraction;

public class CPDefineCheckConstruct extends Construct {

}