diff options
Diffstat (limited to 'src/interp/sys-driver.boot')
| -rw-r--r-- | src/interp/sys-driver.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interp/sys-driver.boot b/src/interp/sys-driver.boot index 010a6bab..4ab20b23 100644 --- a/src/interp/sys-driver.boot +++ b/src/interp/sys-driver.boot @@ -203,7 +203,6 @@ initializeGlobalState() == $buildingSystemAlgebra := getOptionValue "system-algebra" $verbose := getOptionValue "verbose" $bootStrapMode := getOptionValue "bootstrap" - $reportOptimization := getOptionValue "show-insn" $optimizeRep := getOptionValue "inline-rep" setCompilerOptimizations(getOptionValue "optimize" or $defaultOptimizationLevel) |