This PR fixes an error found with AddressSanitizer:
ERROR: AddressSanitizer: alloc-dealloc-mismatch(operator new [] vs operator delete) on 0x52100123a500
#0 0x7ff89b8f50f8 in operator delete(void*) ../../../../src/libsanitizer/asan/asan_new_delete.cpp:152
#1 0x7ff863c13f11 in interLeaver::~interLeaver() (/opt/install/libdab/lib/libdab_lib.so+0x13f11)
This PR fixes an error found with AddressSanitizer: