Remove undefined export.

diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg
index 138c593a97d650de3b708f9ff0283e10146d6ba5..b65c2f1552e679615d4e51c426439f7b503f30ba 100644 (file)
--- a/src/sf/sf.pkg
+++ b/src/sf/sf.pkg
@@ -82,8 +82,7 @@ USA.
           sf:display-top-level-procedure-names?
           sf:enable-conditional-folding?
           sf:enable-disjunction-folding?
-          sf:enable-elide-double-negatives?
-          sf:enable-safe-integration?)
+          sf:enable-elide-double-negatives?)
   (export (scode-optimizer)
           integrate/top-level
           integrate/get-top-level-block