2019-12-01 21:29:07 +01:00
|
|
|
#include <catch2/catch_interfaces_exception.h>
|
2017-09-07 16:51:33 +02:00
|
|
|
|
|
|
|
|
namespace Catch {
|
|
|
|
|
IExceptionTranslator::~IExceptionTranslator() = default;
|
|
|
|
|
IExceptionTranslatorRegistry::~IExceptionTranslatorRegistry() = default;
|
|
|
|
|
}
|
