From 22632b39636ff8f407e4a93814bc73f5f925e850 Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Thu, 5 Nov 2009 14:58:21 +0000
Subject: [PATCH] Add hyperlink for "Eigenschaft".

svn: r16559
---
 collects/deinprogramm/scribblings/DMdA-beginner.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
index 8ddbef9669..7506014645 100644
--- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
+++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
@@ -338,7 +338,7 @@ wobei die Fehlermeldung der Zeichenkette entspricht, die der Wert des zweiten
 
 @defform[(check-property expr)]{
 
-Dieser Testfall überprüft experimentell, ob die Eigenschaft
+Dieser Testfall überprüft experimentell, ob die @tech{Eigenschaft}
 @scheme[expr] erfüllt ist.  Dazu werden zufällige Werte für die mit
 @scheme[for-all] quantifizierten Variablen eingesetzt: Damit wird
 überprüft, ob die Bedingung gilt.