From e4175e3f7bdfc7e27a177f26975e6a9e557d2945 Mon Sep 17 00:00:00 2001
From: Spencer Florence <florence@ccs.neu.edu>
Date: Fri, 2 Jan 2015 14:48:52 -0500
Subject: [PATCH] fixed a contract bug

---
 main.rkt       | 2 +-
 tests/main.rkt | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/main.rkt b/main.rkt
index a79965d..e50f33c 100644
--- a/main.rkt
+++ b/main.rkt
@@ -3,7 +3,7 @@
          racket/contract)
 (provide
  (contract-out
-  [test-files! (->* () () #:rest path-string? any/c)]
+  [test-files! (->* () () #:rest (listof path-string?) any/c)]
   [clear-coverage! (-> any)]
   [get-test-coverage (-> coverage/c)]
   [make-covered?
diff --git a/tests/main.rkt b/tests/main.rkt
index 3fcc972..4613856 100644
--- a/tests/main.rkt
+++ b/tests/main.rkt
@@ -3,7 +3,8 @@
 ;; for every .rkt file in those directories it loads
 ;; tests that file and checks its coverage against an
 ;; .rktl file of the same name
-(require "../cover.rkt" racket/runtime-path rackunit)
+(require (only-in "../main.rkt" test-files! clear-coverage! get-test-coverage)
+         racket/runtime-path rackunit)
 
 (define (test-dir d)
   (define files