Ok, I figured it out. It was an anonymous pointer in the sorting
algorithm that was cast to the wrong type, leading to wrong values of
the types and wrong sorting.
- Bug: duplicate c++ constructors Valentin Tolmer
- Re: Bug: duplicate c++ constructors Akim Demaille
- Re: Bug: duplicate c++ constructors Akim Demaille
- Re: Bug: duplicate c++ constructors Valentin Tolmer
- Re: Bug: duplicate c++ constructors Valentin Tolmer
