Commit 422b3dc6 authored by Hans-Christian Ebke's avatar Hans-Christian Ebke
Browse files

Tweaks to HeapT.hh.

parent daa256e3
Pipeline #91 failed with stage