add Commit point clear construct

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java
index 99f8fc8d4d6bf6108d347aaaa3a7e3deaf3a6b20..680e48caf4b589a5c38bb590ebf29f7fcaa46fdd 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java
@@ -15,7 +15,7 @@ public class CPDefineCheckConstruct extends Construct {
 
        public String toString() {
                StringBuffer res = new StringBuffer();
-               res.append("@Commit_point_define_check:\n");
+               res.append("@Commit_point_clear:\n");
                res.append("Label: " + label + "\n");
                res.append("Condition: " + condition + "\n");
                return res.toString();