Rename macro Message to CVC4Message. (#5576)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 2 Dec 2020 22:24:52 +0000 (14:24 -0800)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 22:24:52 +0000 (14:24 -0800)
commita9eaeb438882abd6d06be41c6fcb87f4f04bcc8c
treeaf6188637ea86feb9f6bc6595740a2d5129893fb
parent768157d3bf78337a603004a2a47026ecf1b70612
Rename macro Message to CVC4Message. (#5576)
22 files changed:
src/base/output.h
src/main/driver_unified.cpp
src/parser/antlr_tracing.h
src/parser/cvc/Cvc.g
src/preprocessing/passes/unconstrained_simplifier.cpp
src/smt/managed_ostreams.cpp
src/smt/options_manager.cpp
src/smt/update_ostream.h
src/theory/arith/approx_simplex.cpp
src/theory/arith/attempt_solution_simplex.cpp
src/theory/arith/constraint.cpp
src/theory/arith/dio_solver.cpp
src/theory/arith/dual_simplex.cpp
src/theory/arith/fc_simplex.cpp
src/theory/arith/linear_equality.cpp
src/theory/arith/soi_simplex.cpp
src/theory/arith/theory_arith_private.cpp
src/theory/quantifiers/fmf/full_model_check.cpp
src/theory/quantifiers/quantifiers_attributes.cpp
src/theory/substitutions.cpp
src/theory/uf/cardinality_extension.cpp
test/unit/util/output_black.h