diff --git a/info.rkt b/info.rkt index 2a44ae2..8a6ffc9 100644 --- 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"))