Gabriele Contini
2019-09-01 cf93de93f5c7baf32d4fea139a7cbfc73d4c5589
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) {