add more, GlobalConstruct parsed

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

package edu.uci.eecs.specCompiler.specExtraction;

public class InterfaceConstruct extends Construct {

}