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