Export sf:maximum-duplicate-expression-size and sf:enable-true-unspecific? to global.

diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg
index d2d4c8cb4a3e203c825ec6924a539fe9641f1a13..f57398bc9f5004a01cc3ab6ae376fff110d2cd37 100644 (file)
--- a/src/sf/sf.pkg
+++ b/src/sf/sf.pkg
@@ -148,6 +148,9 @@ USA.
 (define-package (scode-optimizer analyze)
   (files "analyze")
   (parent (scode-optimizer))
+  (export ()
+         sf:maximum-duplicate-expression-size
+         sf:enable-true-unspecific?)
   (export (scode-optimizer)
          expression/always-false?
          expression/boolean?
@@ -158,9 +161,7 @@ USA.
          expression/never-false?
          expression/pure-false?
          expression/pure-true?
-         expression/unspecific?
-         sf:maximum-duplicate-expression-size
-         sf:enable-true-unspecific?))
+         expression/unspecific?))
 
 (define-package (scode-optimizer change-type)
   (files "chtype")