use array delete

Jan Willamowius

2019-04-21 07eba0e7fe8e0c6149655dc478998a6a2283458e

 src/library/base/EventRegistry.cpp

@@ -79,7 +79,7 @@
}

void EventRegistry::addError(EVENT_TYPE event) {
   addEvent(event, SVRT_ERROR);
   this->addEvent(event, SVRT_ERROR);
}

void EventRegistry::addEvent(EVENT_TYPE event, SEVERITY severity) {