Allow removing words from the personal dictionary, that weren't previously added.

[features.git] / src / insets / InsetListings.cpp

diff --git a/src/insets/InsetListings.cpp b/src/insets/InsetListings.cpp
index 57df06e7360b06998644b497e99494f979389fb6..5afc4327265d28124093c472ada6ee5784ba0498 100644 (file)
--- a/src/insets/InsetListings.cpp
+++ b/src/insets/InsetListings.cpp
@@ -41,6 +41,7 @@
 #include "frontends/alert.h"
 #include "frontends/Application.h"
 
+#include <cstring>
 #include <regex>
 #include <sstream>
 
@@ -368,7 +369,7 @@ void InsetListings::latex(otexstream & os, OutputParams const & runparams) const
                                os << '[' << float_placement << "]";
                } else if (captionfirst && !caption.str.empty()) {
                        os << breakln << "\\lyxmintcaption[t]{"
-                          << move(caption) << "}\n";
+                          << std::move(caption) << "}\n";
                }
                os << breakln << "\\begin{minted}";
                if (!param_string.empty())
@@ -377,11 +378,11 @@ void InsetListings::latex(otexstream & os, OutputParams const & runparams) const
                   << code << breakln << "\\end{minted}\n";
                if (isfloat) {
                        if (!caption.str.empty())
-                               os << "\\caption{" << move(caption) << "}\n";
+                               os << "\\caption{" << std::move(caption) << "}\n";
                        os << "\\end{listing}\n";
                } else if (!captionfirst && !caption.str.empty()) {
                        os << breakln << "\\lyxmintcaption[b]{"
-                          << move(caption) << "}";
+                          << std::move(caption) << "}";
                }
        } else {
                OutputParams rp = runparams;
@@ -395,7 +396,7 @@ void InsetListings::latex(otexstream & os, OutputParams const & runparams) const
                                os << safebreakln;
                        os << "[";
                        if (!caption.str.empty()) {
-                               os << "caption={" << move(caption) << '}';
+                               os << "caption={" << std::move(caption) << '}';
                                if (!param_string.empty())
                                        os << ',';
                        }