| 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 a767ecc1d526e669053175909989361e0ed318c3..ffba0dcc971560b500336cb50963df1463a5eef5 100644
|
| --- a/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java
|
| +++ b/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java
|
| @@ -196,6 +196,11 @@ public class DefaultCompilerConfiguration implements CompilerConfiguration {
|
| }
|
|
|
| @Override
|
| + public boolean printMachineProblems() {
|
| + return compilerOptions.printMachineProblems();
|
| + }
|
| +
|
| + @Override
|
| public boolean collectComments() {
|
| return compilerOptions.generateDocumentation();
|
| }
|
|
|