cprover
|
#include <util/message.h>
Go to the source code of this file.
Variables | |
null_message_handlert | null_message_handler |
null_message_handlert null_message_handler |
Definition at line 14 of file message.cpp.
Referenced by load_java_class(), and to_expr().