diff --git a/collects/datalog/tests/test-docs-complete.rkt b/collects/datalog/tests/test-docs-complete.rkt deleted file mode 100644 index 489df99dec..0000000000 --- a/collects/datalog/tests/test-docs-complete.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang racket/base -(require tests/utils/docs-complete) -(check-docs (quote datalog)) \ No newline at end of file