From 5def61affa81b65d27b8e13d7788b5930d442a79 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Tue, 16 Oct 2018 15:58:16 +0200
Subject: [PATCH] Minor fixes

---
 Doc/Sda1/xmlintro.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Doc/Sda1/xmlintro.xml b/Doc/Sda1/xmlintro.xml
index d2a09d6d9..520c29b05 100644
--- a/Doc/Sda1/xmlintro.xml
+++ b/Doc/Sda1/xmlintro.xml
@@ -569,7 +569,7 @@ terminated by the matching end-tag "<emphasis role="red">&lt;/to&gt;</emphasis>"
 
           <td valign="top"><programlisting language="none">public class Memo {
   Date date;
-  int priority;
+  Priority priority;
   <emphasis role="red">Date date</emphasis>;
   ...
 }</programlisting></td>
@@ -995,7 +995,7 @@ terminated by the matching end-tag "<emphasis role="red">&lt;/to&gt;</emphasis>"
 
 &lt;pre&gt;<emphasis role="red">&amp;lt;</emphasis>ul<emphasis role="red">&amp;gt;</emphasis>
   <emphasis role="red">&amp;lt;</emphasis>li<emphasis role="red">&amp;gt;</emphasis>One<emphasis
-                role="red">&amp;lt;</emphasis>/li<emphasis role="red">&amp;lt;</emphasis>
+                role="red">&amp;lt;</emphasis>/li<emphasis role="red">&amp;gt;</emphasis>
   <emphasis role="red">&amp;lt;</emphasis>li<emphasis role="red">&amp;gt;</emphasis>Two<emphasis
                 role="red">&amp;lt;</emphasis>/li<emphasis role="red">&amp;gt;</emphasis>
 <emphasis role="red">&amp;lt;</emphasis>/ul<emphasis role="red">&amp;gt;</emphasis>&lt;/pre&gt;</programlisting></td>
-- 
GitLab