File size: 133 Bytes
8ae5fc5
 
1
2
3
// This file is only here to verify (to the extent possible) the self sufficiency of the header
#include "internal/catch_debugger.h"