Index: compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
diff --git a/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java b/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
index c0b946a7f970c9888f3784b161f9e3369bfe38da..87dd2dd235bd777ee6b1633fe84c8304676025aa 100644 |
--- a/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
+++ b/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
@@ -198,11 +198,6 @@ public class DefaultCompilerConfiguration implements CompilerConfiguration { |
} |
@Override |
- public boolean printMachineProblems() { |
- return compilerOptions.printMachineProblems(); |
- } |
- |
- @Override |
public boolean collectComments() { |
return compilerOptions.generateDocumentation(); |
} |
@@ -227,4 +222,9 @@ public class DefaultCompilerConfiguration implements CompilerConfiguration { |
public CompilerOptions getCompilerOptions() { |
return compilerOptions; |
} |
+ |
+ @Override |
+ public ErrorFormat printErrorFormat() { |
+ return compilerOptions.printErrorFormat(); |
+ } |
} |