From 2f747dfa1f66e663f1e9a5046b63879bec08e636 Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Thu, 20 May 2010 16:12:50 +0200
Subject: [PATCH] Cosmetic change to new-style require.

---
 collects/deinprogramm/DMdA.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/deinprogramm/DMdA.rkt b/collects/deinprogramm/DMdA.rkt
index fe66dc6244..090bb03221 100644
--- a/collects/deinprogramm/DMdA.rkt
+++ b/collects/deinprogramm/DMdA.rkt
@@ -4,7 +4,7 @@
 
 (require test-engine/scheme-tests
 	 (lib "test-info.scm" "test-engine")
-	 (lib "scheme-tests.rkt" "test-engine")
+	 test-engine/scheme-tests
 	 scheme/class)
 
 (require deinprogramm/contract/module-begin