[indexset][fix] Default to unsigned int (!155) · Merge requests · extensions / dune-alugrid

Timo Koch requested to merge fix/indexset-uint into master Jul 06, 2023

There is no type uint in the C++ standard. Apparently, some compilers define it though as a typedef to unsigned int. G++12 seems to not have it.

Bug introduced in fb09463d

Edited Jul 06, 2023 by Timo Koch

[indexset][fix] Default to unsigned int