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

[features.git] / src / Counters.cpp

diff --git a/src/Counters.cpp b/src/Counters.cpp
index d0bb56faf6720c01f4f79a909a3b4d4370b3a8f0..d7ef519ab8ced45cb288b14bf03f77f3c8d782cc 100644 (file)
--- a/src/Counters.cpp
+++ b/src/Counters.cpp
@@ -451,7 +451,7 @@ docstring Counters::theCounter(docstring const & counter,
        if (smit != sm.end())
                return counterLabel(smit->second, lang);
 
-       vector<docstring> callers;
+       deque<docstring> callers;
        docstring const & fls = flattenLabelString(counter, appendix(),
                                                   lang, callers);
        sm[lang] = fls;
@@ -462,7 +462,7 @@ docstring Counters::theCounter(docstring const & counter,
 docstring Counters::flattenLabelString(docstring const & counter, 
                                       bool in_appendix,
                                       string const & lang,
-                                      vector<docstring> & callers) const
+                                      deque<docstring> & callers) const
 {
        docstring label;