diff --git a/src/insets/insetbase.h b/src/insets/insetbase.h index dfafeae233..53decbb717 100644 --- a/src/insets/insetbase.h +++ b/src/insets/insetbase.h @@ -396,7 +396,7 @@ public: virtual bool noFontChange() const { return false; } /// set the change for the entire inset - virtual void setChange(Change const & change) {} + virtual void setChange(Change const &) {} /// pretty arbitrary virtual int width() const { return 10; }