add destructors

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

diff --git a/src/edu/uci/eecs/specExtraction/SpecNaming.java b/src/edu/uci/eecs/specExtraction/SpecNaming.java
index 463d2c93e59a25387e5acd5aabb9ea4a17c12bdf..f1f97ffd11f7011f0602501e1e683f6b3dc20116 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/SpecNaming.java
+++ b/src/edu/uci/eecs/specExtraction/SpecNaming.java
@@ -21,6 +21,7 @@ public class SpecNaming {
        public static final String DeclareState = "DeclareState";
        public static final String InitalState = "Initial";
        public static final String CopyState = "Copy";
+       public static final String ClearState = "Clear";
        public static final String FinalState = "Final";
        public static final String PrintState = "Print";
        public static final String Commutativity = "Commutativity";