* simplifying equality engine interface

* notifications are now through the interface subclass instead of a template
* notifications include constants being merged
* changed contextNotifyObj::notify to contextNotifyObj::contextNotifyPop so it's more descriptive and doesn't clutter methods when subclassed
* sat solver now has explicit methods to make true and false constants
* 0-level literals are removed from explanations of propagations

1 files changed, 1 insertions, 1 deletions

diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 66b0a2f90..6f01d6cf4 100644
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -162,7 +162,7 @@ bool Configuration::isDebugTag(char const *tag){
       return true;
     }
   }
-#endif * CVC4_DEBUG */
+#endif /* CVC4_DEBUG */
   return false;
 }