minor fix
[cdsspec-compiler.git] / src / edu / uci / eecs / specExtraction / OPType.java
2016-02-18 Peizhao Ouclean code