[latex3-commits] [git/LaTeX3-latex3-latex2e] gh337: to add missing space (7a66cb2d)

[Johannes Braams]

Repository : https://github.com/latex3/latex2e
On branch  : gh337
Link       : https://github.com/latex3/latex2e/commit/7a66cb2dfae188f27bbe9854291adbf5349255ac

>---------------------------------------------------------------

commit 7a66cb2dfae188f27bbe9854291adbf5349255ac
Author: Johannes Braams <texniek at braams.xs4all.nl>
Date:   Wed Jul 8 22:48:12 2020 +0200

     to add missing space


>---------------------------------------------------------------

7a66cb2dfae188f27bbe9854291adbf5349255ac
 base/docstrip.dtx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/docstrip.dtx b/base/docstrip.dtx
index ca907348..3bb09c56 100644
--- a/base/docstrip.dtx
+++ b/base/docstrip.dtx
@@ -2494,7 +2494,7 @@ Z
   \ifcase
     \ifx*#10\else \ifx/#11\else
     \ifx+#12\else \ifx-#13\else
-    \ifx<#14\else \ifx@#15\else 6\fi\fi\fi\fi\fi\fi\relax
+    \ifx<#14\else \ifx @#15\else 6\fi\fi\fi\fi\fi\fi\relax
   \expandafter\starOption\or
   \expandafter\slashOption\or
   \expandafter\plusOption\or