From e3f7f184402b107b47e08e0cc9a4ef52e8f730b2 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Thu, 3 Dec 2020 14:51:05 +0100
Subject: [PATCH] amend a204dbe934

---
 src/tex2lyx/text.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tex2lyx/text.cpp b/src/tex2lyx/text.cpp
index 20b23c55b6..5adc77cef4 100644
--- a/src/tex2lyx/text.cpp
+++ b/src/tex2lyx/text.cpp
@@ -321,7 +321,7 @@ char const * const known_tex_extensions[] = {"tex", 0};
 char const * const known_spaces[] = { " ", "space", 
 ",", "thinspace",//                                   \\, = \\thinspace
 "quad", "qquad", "enspace", "enskip",
-";", ">", "medspace",//                               \\; = \\> = \medspace
+";", ">", "medspace",//                               \\; = \\> = \\medspace
 ":", "thickspace",//                                  \\: = \\thickspace
 "!", "negthinspace",//                                \\! = \\negthinspace
 "negmedspace", "negthickspace",