Fix bug #10896.

diff --git a/src/insets/InsetCommandParams.cpp b/src/insets/InsetCommandParams.cpp
index 39c7715dc5b1cda6f820dad32b54c24f1703da32..3f3befe3b6c2b9bb3d8d72158bfa235ea13f5951 100644 (file)
--- a/src/insets/InsetCommandParams.cpp
+++ b/src/insets/InsetCommandParams.cpp
@@ -132,10 +132,10 @@ bool ParamInfo::hasParam(std::string const & name) const
 
 
 void ParamInfo::add(std::string const & name, ParamType type,
-                    ParamHandling handling, bool ignore,
+                    ParamHandling handling, bool ignoreval,
                     docstring default_value)
 {
-       info_.push_back(ParamData(name, type, handling, ignore, default_value));
+       info_.push_back(ParamData(name, type, handling, ignoreval, default_value));
 }
 
 

diff --git a/src/insets/InsetCommandParams.h b/src/insets/InsetCommandParams.h
index eb976c28d7ce612ae5372bf2120d8400c0108ccf..874a9a53dbb946c9514c5fd2f561821ad05e3ef2 100644 (file)
--- a/src/insets/InsetCommandParams.h
+++ b/src/insets/InsetCommandParams.h
@@ -88,10 +88,10 @@ public:
        };
 
        /// adds a new parameter
-       /// If ignore is true, then the parameter is never saved, and is always
+       /// If ignoreval is true, then the parameter is never saved, and is always
        /// given the default value.
        void add(std::string const & name, ParamType type,
-                ParamHandling = HANDLING_NONE, bool ignore = false,
+                ParamHandling = HANDLING_NONE, bool ignoreval = false,
                 docstring default_value = docstring());
        ///
        bool empty() const { return info_.empty(); }