From 99994ef3c12eb9e1d5f0994ee3d4bbf0a9aa9852 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Thu, 3 Dec 2015 23:34:08 -0800
Subject: [PATCH] Yup it's definitely reprovide modules
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The compound/main isn’t working now. Excluding all reprovide modules
now (there’s really nothing to test in them anyway)
---
 info.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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"))