From ad0cfdbf463755bc5e6d914192a3cab9f621fea5 Mon Sep 17 00:00:00 2001 From: Joe Marshall Date: Sat, 19 May 2012 10:29:08 -0700 Subject: [PATCH] Remove undefined export. --- src/sf/sf.pkg | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg index 138c593a9..b65c2f155 100644 --- 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 -- 2.25.1