X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FShareContainer.h;h=084b044095668c1f7dbf5a307476240c52a137d0;hb=5091380d6bad1686800e384ed1bbb03836a15aab;hp=7fb74c79a0097befdf0db4f02b389507aa1a5a4c;hpb=8283e978f8d621041c432b9b88a476bfd567385c;p=lyx.git diff --git a/src/ShareContainer.h b/src/ShareContainer.h index 7fb74c79a0..084b044095 100644 --- a/src/ShareContainer.h +++ b/src/ShareContainer.h @@ -3,11 +3,12 @@ #ifndef SHARECONTAINER_H #define SHARECONTAINER_H +#include +#include + #include #include #include -#include -#include /// Share objects between several users. /** @@ -27,9 +28,9 @@ public: value_type get(Share const & ps) const { // First see if we already have this ps in the container - Params::iterator it = std::find_if(params.begin(), - params.end(), - isEqual(ps)); + typename Params::iterator it = std::find_if(params.begin(), + params.end(), + isEqual(ps)); value_type tmp; if (it == params.end()) { // ok we don't have it so we should @@ -73,9 +74,9 @@ private: optimizaton. */ void clean() const { - Params::iterator it = std::remove_if(params.begin(), - params.end(), - isUnique()); + typename Params::iterator it = std::remove_if(params.begin(), + params.end(), + isUnique()); params.erase(it, params.end()); }