generate more structured code

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
index 1d34199ea2fcd5e1adcdfd81b3515df488448416..58b463fb95e862423adecdab6ce06935f59884a7 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
@@ -157,15 +157,14 @@ public class SpecExtractor {
                        if (braceIdx == -1) {
                                res = res + " " + curLine;
                        } else {
-                               res = res + curLine.substring(0, braceIdx + 1);
-                               res = trimSpace(res);
+                               res = res + curLine;
                                break;
                        }
                }
                return res;
        }
 
-       private String trimSpace(String line) {
+       public static String trimSpace(String line) {
                int i, j;
                char ch;
                for (i = 0; i < line.length(); i++) {