From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 30 Mar 2011 21:47:12 +0000 (+0000)
Subject: adding CVC4:: qualifier to the #define for debugging so that it can be used outside... 
X-Git-Tag: cvc5-1.0.0~8626
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=af976fc656590dbbbfbcdfa45da5dbdab51f4c1c;p=cvc5.git

adding CVC4:: qualifier to the #define for debugging so that it can be used outside of CVC4 namespace (like minisat)
---

diff --git a/src/util/output.h b/src/util/output.h
index b205d1d37..0b1c86afd 100644
--- a/src/util/output.h
+++ b/src/util/output.h
@@ -275,7 +275,7 @@ extern DebugC DebugChannel CVC4_PUBLIC;
 #ifdef CVC4_DEBUG
 #  define Debug DebugChannel
 #else /* CVC4_DEBUG */
-#  define Debug __cvc4_true() ? debugNullCvc4Stream : DebugChannel
+#  define Debug CVC4::__cvc4_true() ? CVC4::debugNullCvc4Stream : CVC4::DebugChannel
 #endif /* CVC4_DEBUG */
 
 /** The warning output singleton */
@@ -292,7 +292,7 @@ extern TraceC TraceChannel CVC4_PUBLIC;
 #ifdef CVC4_TRACING
 #  define Trace TraceChannel
 #else /* CVC4_TRACING */
-#  define Trace __cvc4_true() ? debugNullCvc4Stream : TraceChannel
+#  define Trace CVC4::__cvc4_true() ? CVC4::debugNullCvc4Stream : CVC4::TraceChannel
 #endif /* CVC4_TRACING */
 
 // Disallow e.g. !Debug("foo").isOn() forms