On Sat, Jul 07, 2007 at 07:40:23PM +0200, Alfredo Braunstein wrote:
> Wild guess: does the following helps?
No, sorry.
> Index: frontends/controllers/frontend_helpers.cpp
> ===================================================================
> --- frontends/controllers/frontend_helpers.cpp (revision 19003)
> +++ frontends/controllers/frontend_helpers.cpp (working copy)
> @@ -1108,7 +1108,7 @@
> LanguagePair, bool>
> {
> public:
> - Sorter() : loc_("") {};
> + Sorter() : loc_() {};
> bool operator()(LanguagePair const & lhs,
> LanguagePair const & rhs) const {
> return loc_(lhs.first, rhs.first);
>
--
Enrico
