From 3588dc58b9354d10b9c986b03540b35d1e4a18f5 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 22 Oct 2018 19:43:51 -0700
Subject: [PATCH] Eliminate obsolete option.

---
 src/runtime/optiondb.scm | 1 -
 1 file changed, 1 deletion(-)

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")
-- 
2.25.1