tree 34482d44dec9dea64617490dc98a0e3ecec3c8d8
parent 78379d8434646dc68d20e935a7e7da38705fa6cd
author Oliver Sander <oliver.sander@tu-dresden.de> 1571058945 +0200
committer Oliver Sander <oliver.sander@tu-dresden.de> 1571820706 +0000

Use a std::unique_ptr for XRef

This makes memory handling a tiny bit more robust.