From 02bdc42d4f93e4653ad1690265aaf3522e580eac Mon Sep 17 00:00:00 2001 From: perrozzi Date: Thu, 16 Nov 2017 16:56:37 +0100 Subject: [PATCH] Update EDMException.cc --- FWCore/Utilities/src/EDMException.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/FWCore/Utilities/src/EDMException.cc b/FWCore/Utilities/src/EDMException.cc index 45b3b321062d5..00282d31920e6 100644 --- a/FWCore/Utilities/src/EDMException.cc +++ b/FWCore/Utilities/src/EDMException.cc @@ -42,6 +42,7 @@ namespace edm { EDM_MAP_ENTRY_NONS(trans_, ExceededResourceVSize); EDM_MAP_ENTRY_NONS(trans_, ExceededResourceRSS); EDM_MAP_ENTRY_NONS(trans_, ExceededResourceTime); + EDM_MAP_ENTRY_NONS(trans_, EventGenerationFailure); } }