Save a header: We don't really need a vector here.

[features.git] / src / Counters.h

diff --git a/src/Counters.h b/src/Counters.h
index d83c64e59dd980218b37c3c6fc9d26e0fc249f46..71ae36e8a6113c979e61619f3544ef54968db8c6 100644 (file)
--- a/src/Counters.h
+++ b/src/Counters.h
@@ -21,7 +21,6 @@
 
 #include <map>
 #include <deque>
-#include <vector>
 
 
 namespace lyx {
@@ -189,7 +188,7 @@ private:
         */
        docstring flattenLabelString(docstring const & counter, bool in_appendix,
                                     std::string const &lang,
-                                    std::vector<docstring> & callers) const;
+                                    std::deque<docstring> & callers) const;
        /// Returns the value of the counter according to the
        /// numbering scheme numbertype.
        /** Available numbering schemes are arabic (1, 2,...), roman