minor fix

[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 aa021af99e463e08835630138eea05544de849f6..d60bf96c6f849fbb074c5fba50d50310bee3deb2 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/SpecNaming.java
+++ b/src/edu/uci/eecs/specExtraction/SpecNaming.java
@@ -176,6 +176,8 @@ public class SpecNaming {
        // Other CDSSpec functions
        public static final String AddInterfaceFunctions = "addInterfaceFunctions";
        public static final String CDSAnnotateFunc = "cdsannotate";
+       public static final String PRINT = "PRINT";
+       public static final String PrintContainer = "printContainer";
 
        // Special instances
        public static final String Method1 = "_M";