Amend 369828194361164 for the sake of the (not exceptionally bright) layout test

diff --git a/src/Layout.cpp b/src/Layout.cpp
index 0c62a0d4c51ec7f3861739f5b393ecf5bdcee3fa..8e54891fb9b64d834d327d4fd92403a32b97b21f 100644 (file)
--- 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())