| 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();
|
| + }
|
| }
|
|
|