From fc914dfac8a3768653816e03ae767d509797ffb4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 16 Jul 2011 20:15:15 -0600 Subject: [PATCH] restore deinprogramm reader module suffix --- collects/deinprogramm/deinprogramm-langs.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/deinprogramm/deinprogramm-langs.rkt b/collects/deinprogramm/deinprogramm-langs.rkt index 20f243d2ee..08935ec5cb 100644 --- a/collects/deinprogramm/deinprogramm-langs.rkt +++ b/collects/deinprogramm/deinprogramm-langs.rkt @@ -1379,7 +1379,7 @@ (sharing-printing #f) (abbreviate-cons-as-list #t) (allow-sharing? #f) - (reader-module '(lib "DMdA-beginner-reader.rkt" "deinprogramm")) + (reader-module '(lib "DMdA-beginner-reader.ss" "deinprogramm")) (stepper:supported #t))) (add-deinprogramm-language @@ -1394,7 +1394,7 @@ (sharing-printing #f) (abbreviate-cons-as-list #t) (allow-sharing? #f) - (reader-module '(lib "DMdA-vanilla-reader.rkt" "deinprogramm")) + (reader-module '(lib "DMdA-vanilla-reader.ss" "deinprogramm")) (stepper:supported #t))) (add-deinprogramm-language @@ -1409,7 +1409,7 @@ (sharing-printing #t) (abbreviate-cons-as-list #t) (allow-sharing? #t) - (reader-module '(lib "DMdA-assignments-reader.rkt" "deinprogramm")) + (reader-module '(lib "DMdA-assignments-reader.ss" "deinprogramm")) (stepper:supported #f) (debugger:supported #t))) @@ -1425,6 +1425,6 @@ (sharing-printing #t) (abbreviate-cons-as-list #t) (allow-sharing? #t) - (reader-module '(lib "DMdA-advanced-reader.rkt" "deinprogramm")) + (reader-module '(lib "DMdA-advanced-reader.ss" "deinprogramm")) (stepper:supported #f) (debugger:supported #t))))))