From 4fe07902d98e1953574b37e1fea5c3890ce1b6e9 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Sat, 26 Jun 2010 18:04:21 -0600 Subject: [PATCH] Using configure-runtime --- collects/datalog/lang/reader.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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