/*******************************************************************\

Module: Unit test utilities

Author: Diffblue Limited.

\*******************************************************************/

#ifndef CPROVER_TESTING_UTILS_MESSAGE_H
#define CPROVER_TESTING_UTILS_MESSAGE_H

#include <util/message.h>

extern null_message_handlert null_message_handler;

#endif // CPROVER_TESTING_UTILS_MESSAGE_H
