|
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().