[Dune-devel] [Dune-Commit] [Commit] dune-grid - 5488e7b: Make the index type a configurable template parameter

[Christian Engwer]

Hi Oli,

> commit 5488e7b30f5c529daf8232bf3c96068be159fabe
> Author: Oliver Sander <sander at igpm.rwth-aachen.de>
> Date:   Wed Sep 24 14:53:16 2014 +0200
> 
>     Make the index type a configurable template parameter
>     
>     Previously the type was hardwired to 'int'.  Int is still the default
>     value for the new parameter, for backward-compatibility.
> 

I'm a bit puzzled, wouldn't it be better (and thsi is also the way I
understood the proposal on the meeting) to use the same index type the
indexset is using?

Ciao
Christian