parsing basically works

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

package edu.uci.eecs.specCompiler.specExtraction;

public class SpecConstructInfo {
        
}