[rtems-central commit] formal: Remove bogus character

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    94ba704376f673f56006a35f4b0f9fcf622b9434
Changeset: http://git.rtems.org/rtems-central/commit/?id=94ba704376f673f56006a35f4b0f9fcf622b9434

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed Jan 18 12:43:04 2023 +0100

formal: Remove bogus character

---

 formal/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/formal/README.md b/formal/README.md
index d3ff71a6..276bc9d8 100644
--- a/formal/README.md
+++ b/formal/README.md
@@ -2,7 +2,7 @@
 
 `formal`
 
-This directory contains the models and tooling developed as part of the ESA-sponsored activity ***Qualification of RTEMS Symmetric Multiprocessing
(SMP)***, that has been added into RTEMS in the `rtems-central` repository.
+This directory contains the models and tooling developed as part of the ESA-sponsored activity ***Qualification of RTEMS Symmetric Multiprocessing (SMP)***, that has been added into RTEMS in the `rtems-central` repository.
 
 ## Contributors