From 4ba94f74a5c9c8eca8ec30b895e9d0c3f9b5492f Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Sun, 3 Dec 2023 10:36:59 +0100 Subject: [PATCH] Amend 369828194361164 for the sake of the (not exceptionally bright) layout test --- src/Layout.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Layout.cpp b/src/Layout.cpp index 0c62a0d4c5..8e54891fb9 100644 --- a/src/Layout.cpp +++ b/src/Layout.cpp @@ -1350,7 +1350,7 @@ void writeArgument(ostream & os, string const & id, Layout::latexarg const & arg if (!arg.tooltip.empty()) os << "\t\tToolTip \"" << to_utf8(arg.tooltip) << "\"\n"; if (!arg.required.empty()) - os << "\t\tRequires \"" << arg.required << "\"\n"; + os << "\t\tRequires " << arg.required << "\n"; if (!arg.decoration.empty()) os << "\t\tDecoration \"" << arg.decoration << "\"\n"; if (!arg.newlinecmd.empty()) -- 2.39.5