include/internal/catch_interfaces_exception.cpp - platform/external/catch2 - Git at Google

 #include "internal/catch_interfaces_exception.h"

 namespace Catch {
     IExceptionTranslator::~IExceptionTranslator() = default;
     IExceptionTranslatorRegistry::~IExceptionTranslatorRegistry() = default;
 }
	#include "internal/catch_interfaces_exception.h"

	namespace Catch {
	IExceptionTranslator::~IExceptionTranslator() = default;
	IExceptionTranslatorRegistry::~IExceptionTranslatorRegistry() = default;
	}