diff options
author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 16:09:33 +0200 |
---|---|---|
committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 11:42:42 +0200 |
commit | 93ebb3e7dfb75ce23c1fb46d8e70208a2bad0c02 (patch) | |
tree | e9dd046a7650eb9c414550224d8d3f0b0b8737e5 /src/libutil/util.hh | |
parent | 8b6d2d39155e88250c576571a1251769b926ee83 (diff) |
util.{hh,cc}: Move ignoreException to error.{hh,cc}
Change-Id: Iae6464217a55c313a983e5c651b26a4a1e446706
Diffstat (limited to 'src/libutil/util.hh')
-rw-r--r-- | src/libutil/util.hh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/libutil/util.hh b/src/libutil/util.hh index 867f0a80d..c5ca12650 100644 --- a/src/libutil/util.hh +++ b/src/libutil/util.hh @@ -39,13 +39,6 @@ struct Source; extern const std::string nativeSystem; -/** - * Exception handling in destructors: print an error message, then - * ignore the exception. - */ -void ignoreException(Verbosity lvl = lvlError); - - /** * Get a value for the specified key from an associate container. |