diff --git a/collects/compiler/sig.ss b/collects/compiler/sig.ss
index 51db3b9df6..15d212d7fb 100644
--- a/collects/compiler/sig.ss
+++ b/collects/compiler/sig.ss
@@ -20,15 +20,6 @@
                    ;  the public names of loaded extensions
                    ; default = ""
    
-      use-mrspidey ; #t => whole-program analyze with MrSpidey
-                   ; default = #f
-   
-      use-mrspidey-for-units ; #t => per-unit analyze with MrSpidey
-                             ; default = #f
-   
-      lightweight ; #t => perform lightweight closure conversion;
-                  ;       default = #f
-   
       clean-intermediate-files ; #t => keep intermediate .c/.o files
                                ; default = #f