diff --git a/src/insets/insetcaption.h b/src/insets/insetcaption.h index 8ea09c548d..a3a3076445 100644 --- a/src/insets/insetcaption.h +++ b/src/insets/insetcaption.h @@ -71,6 +71,8 @@ public: /// void setCount(int c) { counter_ = c; } /// + std::string const & type() const { return type_; } + /// void setType(std::string const & type) { type_ = type; } /// void setCustomLabel(docstring const & label);