From c3487addd6118af401a3a5de5cd8fe70acee6b8c Mon Sep 17 00:00:00 2001
From: Joe Marshall <jmarshall@alum.mit.edu>
Date: Mon, 12 Jul 2010 15:54:20 -0700
Subject: [PATCH] Remove undefined binding.

---
 src/sf/sf.pkg | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg
index 609a1e544..72c64bb22 100644
--- 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?
-- 
2.25.1