From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 23 Oct 2018 02:43:51 +0000 (-0700)
Subject: Eliminate obsolete option.
X-Git-Tag: mit-scheme-pucked-10.1.2~16^2~191
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=3588dc58b9354d10b9c986b03540b35d1e4a18f5;p=mit-scheme.git

Eliminate obsolete option.
---

diff --git a/src/runtime/optiondb.scm b/src/runtime/optiondb.scm
index 0ffad07e1..8d110f992 100644
--- a/src/runtime/optiondb.scm
+++ b/src/runtime/optiondb.scm
@@ -65,7 +65,6 @@ USA.
  (lambda (spec)
    (define-load-option (car spec) (apply standard-option-loader (cdr spec))))
  '((compress	(runtime compress)	#f			"cpress")
-   (dosprocess	()			#f			"dosproc")
    (format	(runtime format)	(initialize-package!)	"format")
    (mime-codec	(runtime mime-codec)	#f			"mime-codec")
    (ordered-vector (runtime ordered-vector) #f			"ordvec")