Eliminate obsolete option.

diff --git a/src/runtime/optiondb.scm b/src/runtime/optiondb.scm
index 0ffad07e1b811b5c7e5824a15fac83c0840e43c3..8d110f992820d207bd0c684e99e386b85fe00bcd 100644 (file)
--- 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")