Fix bug #7499. The problem here is that there was no way for the

[features.git] / src / Buffer.h

diff --git a/src/Buffer.h b/src/Buffer.h
index bd462e2640703235bc0399cbe6801698888180ae..a54371ce2790d8420dc9374cc4420f3c552801e4 100644 (file)
--- a/src/Buffer.h
+++ b/src/Buffer.h
@@ -461,6 +461,8 @@ public:
        /// add a single piece of bibliography info to our cache
        void addBibTeXInfo(docstring const & key, BibTeXInfo const & bi) const;
        ///
+       bool citeLabelsValid() const;
+       ///
        void getLabelList(std::vector<docstring> &) const;
 
        ///