From d4922daedf0fc4f26885a56b0c625db49170ad20 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 12 May 2014 14:39:37 -0700 Subject: [PATCH] fix(kernel/level): add missing LEAN_THREAD_LOCAL directive Signed-off-by: Leonardo de Moura --- src/kernel/level.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/kernel/level.cpp b/src/kernel/level.cpp index fe8b95f7e..ea0495689 100644 --- a/src/kernel/level.cpp +++ b/src/kernel/level.cpp @@ -239,12 +239,12 @@ level mk_global_univ(name const & n) { return level(new level_param_core(level_k level mk_meta_univ(name const & n) { return level(new level_param_core(level_kind::Meta, n)); } level const & mk_level_zero() { - static level g_zero(new level_cell(level_kind::Zero, 7u)); + static LEAN_THREAD_LOCAL level g_zero(new level_cell(level_kind::Zero, 7u)); return g_zero; } level const & mk_level_one() { - static level g_one(mk_succ(mk_level_zero())); + static LEAN_THREAD_LOCAL level g_one(mk_succ(mk_level_zero())); return g_one; }