diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-04 09:10:55 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-04 19:16:05 -0400 |
commit | d813626606c5eca8179eec492090b85dbd818867 (patch) | |
tree | adec8fa7d05b49676f3944530ab2ffe4b2dc0be2 /src/theory | |
parent | e6dc2c46fced4d8121d6d7bdd739d977f32d0462 (diff) |
Fix clang static initialization order issue; fixes bug 512.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/type_enumerator.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/type_enumerator.h b/src/theory/type_enumerator.h index 7a4fcdaff..777326a26 100644 --- a/src/theory/type_enumerator.h +++ b/src/theory/type_enumerator.h @@ -105,6 +105,9 @@ public: Assert(false, "expected an NoMoreValuesException to be thrown"); } catch(NoMoreValuesException&) { // ignore the exception, we're just asserting that it would be thrown + // + // This block can crash on clang 3.0 on Mac OS, perhaps related to + // bug: http://llvm.org/bugs/show_bug.cgi?id=13359 } } else { try { |