minor fix
[cdsspec-compiler.git] / src / edu / uci / eecs / specExtraction / SpecNaming.java
index aa021af..d60bf96 100644 (file)
@@ -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";