#include "error.hpp"


namespace Check
{


const CheckError *CheckError::lastError = NULL;


void terminateLibrary()
{
  if (CheckError::lastError != NULL)
    quit(CheckError::lastError->decision(), CheckError::lastError->message());
  else
    quit(UnhandledError, "Unknown fatal error");
}


}