diff --git a/collects/tests/framework/info.ss b/collects/tests/framework/info.ss index cce7f58000..e271d9238b 100644 --- a/collects/tests/framework/info.ss +++ b/collects/tests/framework/info.ss @@ -1,3 +1,3 @@ #lang setup/infotab -(define compile-omit-paths '("key-specs.ss" "utils.ss")) +(define compile-omit-paths '("key-specs.ss" "utils.ss" "receive-sexps-port.ss"))