diff --git a/collects/tests/info.ss b/collects/tests/info.ss index 390121744b..7166ee603e 100644 --- a/collects/tests/info.ss +++ b/collects/tests/info.ss @@ -7,6 +7,7 @@ (define compile-omit-paths '("aligned-pasteboard" "honu" + "match" "mred" "mysterx" "mzcom"