edits

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java b/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java
index 0f42b058b73deb801e0b16167d00075242c15cb8..7b6e788da010c99ebf360b6139b7bb5c0385df3e 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java
@@ -4,7 +4,7 @@ import java.io.File;
 
 /**
  * <p>
- * This is just an abstract class for all the constructs.
+ * An abstract class for all different specification constructs.
  * </p>
  * 
  * @author peizhaoo