From 65f3695afb3bb97ba66e069d0e5df0582330aff2 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 30 Nov 2009 13:47:41 +0000 Subject: [PATCH] DMdA doc fix. svn: r17107 --- 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 1797640669..c3d367c184 100644 --- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl +++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl @@ -341,7 +341,7 @@ Dieser Testfall überprüft experimentell, ob die @tech{Eigenschaft} @emph{Wichtig:} @scheme[check-property] funktioniert nur für Eigenschaften, bei denen aus den Verträgen sinnvoll Werte generiert werden können. Dies ist für die meisten eingebauten Verträge der -Fall, aber nicht für Verträge, die mit @scheme[predicate], +Fall, aber nicht für Vertragsvariablen und Verträge, die mit @scheme[predicate], @scheme[property] oder @scheme[define-record-procedures] definiert wurden. In diesen Fällen erzeugt @scheme[check-property] eine Fehlermeldung. }