From 3562c76161016634cbcaecff3b4f5b0cbd6b87df Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 6 Jun 2014 18:14:39 -0700 Subject: [PATCH] fix(util/sexpr/options): add workaround for clang++ Signed-off-by: Leonardo de Moura --- src/util/sexpr/options.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/util/sexpr/options.cpp b/src/util/sexpr/options.cpp index 7e1b2feb7..c4669d0e8 100644 --- a/src/util/sexpr/options.cpp +++ b/src/util/sexpr/options.cpp @@ -32,7 +32,8 @@ std::ostream & operator<<(std::ostream & out, option_kind k) { return out; } -static std::unique_ptr g_option_declarations; +// Replace with std::unique_ptr after bug in clang++ is fixed +static std::shared_ptr g_option_declarations; option_declarations & get_option_declarations_core() { if (!g_option_declarations)