michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(util/sexpr/options): add workaround for clang++

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-06-06 18:14:39 -07:00
parent db36d465dc
commit 3562c76161
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/util/sexpr/options.cpp
View file

@ -32,7 +32,8 @@ std::ostream & operator<<(std::ostream & out, option_kind k) {
return out;
}
static std::unique_ptr<option_declarations> g_option_declarations;
// Replace with std::unique_ptr after bug in clang++ is fixed
static std::shared_ptr<option_declarations> g_option_declarations;
option_declarations & get_option_declarations_core() {
if (!g_option_declarations)