From 536f87f7c1b29ded331e57a889a1feac46f0704d Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 30 Mar 1998 19:34:50 +0000
Subject: [PATCH] mrspidey integration

original commit: a0750d913741390cd5aec93ddb9c19cdd4e0e569
---
 collects/compiler/sig.ss | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/compiler/sig.ss b/collects/compiler/sig.ss
index a078ad9bf6..7b6ebfa471 100644
--- a/collects/compiler/sig.ss
+++ b/collects/compiler/sig.ss
@@ -15,6 +15,9 @@
                 ;  the public names of loaded extensions
                 ; default = ""
 
+   use-mrspidey ; #t => analyze with MrSpidey
+                ; default = #f
+
    clean-intermediate-files ; #t => keep intermediate .c/.o files
                             ; default = #f