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

fix(util/thread_script_state): style

Browse source
This commit is contained in:
Leonardo de Moura 2014-09-17 14:16:05 -07:00
parent 19148af7ae
commit 8b76deb971
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/thread_script_state.cpp
View file

@ -91,7 +91,7 @@ void enable_script_state_recycling(bool flag) {
static void recycle_state(script_state s) {
if (g_recycle_state) {
lock_guard<mutex> lk(g_state_mutex);
g_available_states.push_back(s);
g_available_states.push_back(s);
}
}