| Index: dart/compiler/java/com/google/dart/runner/RunnerOptions.java
|
| diff --git a/dart/compiler/java/com/google/dart/runner/RunnerOptions.java b/dart/compiler/java/com/google/dart/runner/RunnerOptions.java
|
| index 5864928bf8fa16b5c2726e78a4cff96e98109d94..a7ab8935a9135132cdbaa16ed4e5e135b47e27e4 100644
|
| --- a/dart/compiler/java/com/google/dart/runner/RunnerOptions.java
|
| +++ b/dart/compiler/java/com/google/dart/runner/RunnerOptions.java
|
| @@ -13,11 +13,7 @@ public interface RunnerOptions {
|
|
|
| public boolean shouldCompileOnly();
|
|
|
| - public boolean shouldOptimize();
|
| -
|
| public boolean typeErrorsAreFatal();
|
|
|
| - public boolean useRhino();
|
| -
|
| public boolean verbose();
|
| }
|
|
|