From c45531f37eaf7db1d631f2847238183dd8562d0f Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Tue, 7 May 2019 08:30:09 +0200
Subject: [PATCH] Cosmetics

---
 Doc/Sd1/objectsClasses.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/Sd1/objectsClasses.xml b/Doc/Sd1/objectsClasses.xml
index 000563097..dcda5041e 100644
--- a/Doc/Sd1/objectsClasses.xml
+++ b/Doc/Sd1/objectsClasses.xml
@@ -1920,7 +1920,7 @@ final double d = value; // widening, o.K.</programlisting>
 
                   <para>Thus <code language="java">public void print(double
                   d)</code> indeed is being chosen by the overloading
-                  mechanism.</para>
+                  mechanism using a «best match» startegie.</para>
                 </listitem>
               </orderedlist>
             </answer>
-- 
GitLab