From e5958d3ca1b3a8219701791b8c0f99dd86bc9e29 Mon Sep 17 00:00:00 2001
From: ehilsdal <ehilsdal>
Date: Thu, 29 Jan 2004 15:21:59 +0000
Subject: [PATCH] Fix for Bugzilla Bug 42668 effect of an after returning type
 incompatible with a join point return type

---
 docs/progGuideDB/semantics.xml | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml
index 2fe8f7444..379cb1cb2 100644
--- a/docs/progGuideDB/semantics.xml
+++ b/docs/progGuideDB/semantics.xml
@@ -1464,14 +1464,13 @@
 
     <para>
       A value is of the appropriate type if it would be assignable to
-      a variable of that type, in the Java sense.
-      <literal>byte</literal>, <literal>short</literal>,
-      <literal>char</literal> and <literal>int</literal> are
-      assignable to each other, an <literal>int</literal> is
-      assignable to a <literal>float</literal> parameter,
-      <literal>boolean</literal> values are only assignable to
-      <literal>boolean</literal> parameters, and reference types work
-      by instanceof. 
+      a variable of that type, in the Java sense.  That is, a
+      <literal>byte</literal> value is assignable to a
+      <literal>short</literal> parameter but not vice-versa, an
+      <literal>int</literal> is assignable to a
+      <literal>float</literal> parameter, <literal>boolean</literal>
+      values are only assignable to <literal>boolean</literal>
+      parameters, and reference types work by instanceof.
     </para>
 
     <para>
-- 
2.39.5