| Index: compiler/java/com/google/dart/compiler/CommandLineOptions.java
|
| diff --git a/compiler/java/com/google/dart/compiler/CommandLineOptions.java b/compiler/java/com/google/dart/compiler/CommandLineOptions.java
|
| index 5ebd4d509e2abf28f83f396fd9e911fb70d6a95d..3cf9695c2798dc1a0cc6ca1f22e4b1c692b2581d 100644
|
| --- a/compiler/java/com/google/dart/compiler/CommandLineOptions.java
|
| +++ b/compiler/java/com/google/dart/compiler/CommandLineOptions.java
|
| @@ -41,10 +41,6 @@ public class CommandLineOptions {
|
| usage = "Generate runtime type checks")
|
| private boolean developerModeChecks = false;
|
|
|
| - @Option(name = "--disable-type-optimizations",
|
| - usage = "Turn off type optimizations\n (for debugging)")
|
| - private boolean disableTypeOptimizations = false;
|
| -
|
| @Option(name = "--ignore-unrecognized-flags",
|
| usage = "Ignore unrecognized command line flags")
|
| private boolean ignoreUnrecognizedFlags = false;
|
| @@ -171,10 +167,6 @@ public class CommandLineOptions {
|
| return batch;
|
| }
|
|
|
| - public boolean disableTypeOptimizations() {
|
| - return disableTypeOptimizations;
|
| - }
|
| -
|
| /**
|
| * Returns <code>true</code> if the compiler should print it's help message.
|
| */
|
|
|