From 05dd5e153441a0e962a246443bf282c29b68aca5 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Mon, 4 Nov 2019 11:31:25 +0100
Subject: [PATCH] Cosmetics
---
Doc/Sda1/xmlschema.xml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Doc/Sda1/xmlschema.xml b/Doc/Sda1/xmlschema.xml
index 965bf1989..9e4eeda23 100644
--- a/Doc/Sda1/xmlschema.xml
+++ b/Doc/Sda1/xmlschema.xml
@@ -1313,11 +1313,11 @@ String s1 = new String(), s2 = new String();</programlisting>
</tr>
<tr>
- <th><screen>Value '<emphasis role="red">author</emphasis>' is not
+ <th><screen><emphasis>Value 'author' is not
facet-valid with respect
to enumeration'
[friend, colleague,
- businessPartner]'...</screen></th>
+ businessPartner]'...</emphasis></screen></th>
</tr>
</informaltable>
</figure>
--
GitLab