Remove undefined binding.

diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg
index 609a1e5449dca8e9141ea9a67c9cff8d683fbb44..72c64bb22be84abb764580c3c0da8bb2897f6ce2 100644 (file)
--- a/src/sf/sf.pkg
+++ b/src/sf/sf.pkg
@@ -39,7 +39,6 @@ USA.
          combination/constant-folding-operators)
   (export ()
          sf:enable-argument-deletion?
-         sf:enable-conjunction-linearization?
          sf:enable-constant-folding?
          sf:enable-disjunction-simplification?
          sf:enable-distribute-primitives?