From 69b858a7f50fad2540b640c196140f70d082bca1 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Wed, 10 Nov 2010 07:32:52 +0100 Subject: [PATCH] Unbreak printing in DMdA. Fix the the name by which the HtDP and DMdA languages refer to the signatures module, making sure everybody sees the same properties. --- collects/deinprogramm/deinprogramm-langs.rkt | 2 +- collects/lang/htdp-langs.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/deinprogramm/deinprogramm-langs.rkt b/collects/deinprogramm/deinprogramm-langs.rkt index fdec200322..b764bbe436 100644 --- a/collects/deinprogramm/deinprogramm-langs.rkt +++ b/collects/deinprogramm/deinprogramm-langs.rkt @@ -170,7 +170,7 @@ [scheme-test-module-name ((current-module-name-resolver) '(lib "test-engine/scheme-tests.ss") #f #f)] [scheme-signature-module-name - ((current-module-name-resolver) '(lib "deinprogramm/signature/signature.ss") #f #f)]) + ((current-module-name-resolver) '(lib "deinprogramm/signature/signature-german.rkt") #f #f)]) (run-in-user-thread (lambda () (when (getenv "PLTDRHTDPNOCOMPILED") (use-compiled-file-paths '())) diff --git a/collects/lang/htdp-langs.rkt b/collects/lang/htdp-langs.rkt index 5e2d4265ef..ad9a47317e 100644 --- a/collects/lang/htdp-langs.rkt +++ b/collects/lang/htdp-langs.rkt @@ -139,7 +139,7 @@ [scheme-test-module-name ((current-module-name-resolver) '(lib "test-engine/scheme-tests.ss") #f #f)] [scheme-signature-module-name - ((current-module-name-resolver) '(lib "deinprogramm/signature/signature.ss") #f #f)]) + ((current-module-name-resolver) '(lib "deinprogramm/signature/signature-english.rkt") #f #f)]) (run-in-user-thread (lambda () (when (getenv "PLTDRHTDPNOCOMPILED") (use-compiled-file-paths '()))