diff --git a/collects/datalog/lang/reader.rkt b/collects/datalog/lang/reader.rkt
index a3e1dfd083..4f9886b37f 100644
--- a/collects/datalog/lang/reader.rkt
+++ b/collects/datalog/lang/reader.rkt
@@ -10,6 +10,9 @@
               (dynamic-require 'datalog/tool/submit 'repl-submit?)]
              [(color-lexer)
               (dynamic-require 'datalog/tool/syntax-color 'get-syntax-token)]
+             [(configure-runtime)
+              (λ ()
+                (current-read-interaction even-read))]
              [else (default key defval)]))
   (require datalog/parse
            datalog/private/compiler)
@@ -29,7 +32,4 @@
       (current-read-interaction odd-read)))
   (define (odd-read src ip)
     (current-read-interaction even-read)
-    eof)
-  
-  (current-read-interaction
-   even-read))
\ No newline at end of file
+    eof))
\ No newline at end of file