From e2937b443f1a587751d77ce958700b4014c14cbd Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Sun, 31 Jan 2016 09:37:53 -0800
Subject: Remove support for --show-insn, and ")set )report insn"

---
 src/interp/sys-driver.boot | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/interp/sys-driver.boot')

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)
-- 
cgit v1.2.3