Yup it's definitely reprovide modules

The compound/main isn’t working now. Excluding all reprovide modules now (there’s really nothing to test in them anyway)
2015-12-03 23:34:08 -08:00 · 2015-12-03 23:34:08 -08:00 · 99994ef3c1
commit 99994ef3c1
parent 015fba60c2
1 changed files with 1 additions and 2 deletions
--- a/info.rkt
+++ b/info.rkt
@ -30,11 +30,10 @@

 (define cover-omit-paths
  '(#rx".*\\.scrbl"
+    "main.rkt"
    "info.rkt"
    "lens/private/doc-util"
    "lens/private/test-util"
    "lens/private/util"
-    "lens/private/base/main.rkt"
-    "lens/main.rkt"
    "unstable/lens/struct-provide.rkt"
    "unstable/lens/syntax.rkt"))