temporal
[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / SpecExtractor.java
index 52862f4311f1d1fe75621742a8019c1e9bb66478..9d1fa911cdf6624983790922dfb5ed83be4d6544 100644 (file)
@@ -60,6 +60,9 @@ public class SpecExtractor {
                SourceFileInfo srcFileInfo;
                try {
                        srcFileInfo = SpecParser.ParseFile(file);
+                       for (int i = 0; i < srcFileInfo.content.size(); i++) {
+                               System.out.println(srcFileInfo.content.get(i));
+                       }
                        ParserUtils.write2File(srcFileInfo.file, srcFileInfo.content);
                        srcFilesInfo.put(file, srcFileInfo);
                } catch (ParseException e) {