more bug fix

[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 8d7a229e4ddea8a990ea5b3758a842768c1200b6..52862f4311f1d1fe75621742a8019c1e9bb66478 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
@@ -60,7 +60,7 @@ public class SpecExtractor {
                SourceFileInfo srcFileInfo;
                try {
                        srcFileInfo = SpecParser.ParseFile(file);
-                       srcFileInfo.write2File();
+                       ParserUtils.write2File(srcFileInfo.file, srcFileInfo.content);
                        srcFilesInfo.put(file, srcFileInfo);
                } catch (ParseException e) {
                        e.printStackTrace();