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 '()))