From c47a16c89b0388e7750764b16c9c824a250e409a Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Tue, 26 Apr 2011 16:32:26 -0600 Subject: [PATCH] All public bindings come from this module --- collects/datalog/tests/test-docs-complete.rkt | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/collects/datalog/tests/test-docs-complete.rkt b/collects/datalog/tests/test-docs-complete.rkt index f3e76cba19..489df99dec 100644 --- a/collects/datalog/tests/test-docs-complete.rkt +++ b/collects/datalog/tests/test-docs-complete.rkt @@ -1,9 +1,3 @@ #lang racket/base (require tests/utils/docs-complete) -(check-docs (quote datalog/stx)) -(check-docs (quote datalog/runtime)) -(check-docs (quote datalog/pretty)) -(check-docs (quote datalog/parse)) -(check-docs (quote datalog)) -(check-docs (quote datalog/eval)) -(check-docs (quote datalog/ast)) +(check-docs (quote datalog)) \ No newline at end of file