Comment 1 for bug 1090272

Revision history for this message
Johan Hake (johan-hake) wrote : Re: [Bug 1090272] [NEW] Change index type names

If you have not started on the SWIG side I can take responsibility of that.

Johan

On 12/14/2012 10:11 AM, Garth Wells wrote:
> Public bug reported:
>
> Before next release, need to change
>
> sizet -> size_t
>
> in Python interface, and
>
> DolfinIndex -> dolfin::index
>
> ** Affects: dolfin
> Importance: Critical
> Status: New
>
> ** Changed in: dolfin
> Importance: Undecided => Critical
>