parsing passed

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java
index 88c2bfb7abd73d236519cba463f808c0f3d1dab3..ef0a815673fe179bd4f59b78a83eeed73ed4b428 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java
@@ -64,11 +64,11 @@ public class GlobalConstruct extends Construct {
        }
        
        public String toString() {
-               StringBuilder sb = new StringBuilder();
-               sb.append("Code:\n");
+               StringBuilder sb = new StringBuilder("GlobalConstruct:\n");
+               sb.append("@Code:\n");
                sb.append(code);
                
-               sb.append("Happens_before:\n");
+               sb.append("@Happens_before:\n");
                for (ConditionalInterface left : hbRelations.keySet()) {
                        HashSet<ConditionalInterface> rights = hbRelations.get(left);
                        sb.append(left + " -> ");