diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-02 14:24:52 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-02 14:24:52 -0800 |
commit | a9eaeb438882abd6d06be41c6fcb87f4f04bcc8c (patch) | |
tree | af6188637ea86feb9f6bc6595740a2d5129893fb /src/base | |
parent | 768157d3bf78337a603004a2a47026ecf1b70612 (diff) |
Rename macro Message to CVC4Message. (#5576)
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/output.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/base/output.h b/src/base/output.h index e23f62783..96cb9f8ac 100644 --- a/src/base/output.h +++ b/src/base/output.h @@ -404,7 +404,8 @@ extern DumpOutC DumpOutChannel CVC4_PUBLIC; # define Debug ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::DebugChannel # define Warning ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::WarningChannel # define WarningOnce ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::WarningChannel -# define Message ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::MessageChannel +#define CVC4Message \ + ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::MessageChannel # define Notice ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::NoticeChannel # define Chat ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::ChatChannel # define Trace ::CVC4::__cvc4_true() ? ::CVC4::nullCvc4Stream : ::CVC4::TraceChannel @@ -419,7 +420,9 @@ extern DumpOutC DumpOutChannel CVC4_PUBLIC; # endif /* CVC4_DEBUG && CVC4_TRACING */ # define Warning (! ::CVC4::WarningChannel.isOn()) ? ::CVC4::nullCvc4Stream : ::CVC4::WarningChannel # define WarningOnce (! ::CVC4::WarningChannel.isOn() || ! ::CVC4::WarningChannel.warnOnce(__FILE__,__LINE__)) ? ::CVC4::nullCvc4Stream : ::CVC4::WarningChannel -# define Message (! ::CVC4::MessageChannel.isOn()) ? ::CVC4::nullCvc4Stream : ::CVC4::MessageChannel +#define CVC4Message \ + (!::CVC4::MessageChannel.isOn()) ? ::CVC4::nullCvc4Stream \ + : ::CVC4::MessageChannel # define Notice (! ::CVC4::NoticeChannel.isOn()) ? ::CVC4::nullCvc4Stream : ::CVC4::NoticeChannel # define Chat (! ::CVC4::ChatChannel.isOn()) ? ::CVC4::nullCvc4Stream : ::CVC4::ChatChannel # ifdef CVC4_TRACING |