diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl index 7101baa3d5..5b3f51cf21 100644 --- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl +++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl @@ -153,7 +153,7 @@ Diese Form liefert die Signatur mit der Notation @scheme[sig]. Diese Form erklärt @scheme[sig] zur gültigen Signatur für @scheme[id]. } -@subsection{Eingebaute Verträge} +@subsection{Eingebaute Signaturen} @defidform[number]{ Signatur für beliebige Zahlen. diff --git a/collects/deinprogramm/signature/signature-syntax.rkt b/collects/deinprogramm/signature/signature-syntax.rkt index bd5b66def5..e8962846ec 100644 --- a/collects/deinprogramm/signature/signature-syntax.rkt +++ b/collects/deinprogramm/signature/signature-syntax.rkt @@ -264,7 +264,7 @@ (define-for-syntax (within-signature-syntax-error stx name) (raise-syntax-error #f - "darf nur in Verträgen vorkommen" + "darf nur in Signaturen vorkommen" name)) ;; Expression -> Expression