[Dune] FW: Problems with installation of DUNE core modules (in particular, with dune-grid-howto)

[Markus Blatt]

Hi,

I fear the patch will not fix the bug as this a map and its values
are pairs and not the key or data type.

One should probably use this allocator:

typename Allocator::rebind<std::pair<const typename
Grid::Traits::LocalIdSet::IdType,Data>::other

Markus
-- 
Dr. Markus Blatt - HPC-Simulation-Software & Services
Tel.: +49 (0) 160 97590858  Fax: +49 (0)322 1108991658