Workaround for a problem in clang

diff --git a/src/theory/type_enumerator.h b/src/theory/type_enumerator.h
index d1318aaa8d0de4d43ab0d536f12e92f9ff02165a..bcd7e695fb77f831e49b09cb8a52924fced46f60 100644 (file)
--- a/src/theory/type_enumerator.h
+++ b/src/theory/type_enumerator.h
@@ -115,7 +115,7 @@ public:
 // On Mac clang, there appears to be a code generation bug in an exception
 // block here.  For now, there doesn't appear a good workaround; just disable
 // assertions on that setup.
-#if defined(CVC4_ASSERTIONS) && !(defined(__APPLE__) && defined(__clang__))
+#if defined(CVC4_ASSERTIONS) && !(defined(__clang__))
     if(d_te->isFinished()) {
       try {
         **d_te;