From 8b76deb971fc25920af04bbb86fc68577207db1a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 17 Sep 2014 14:16:05 -0700
Subject: [PATCH] fix(util/thread_script_state): style

---
 src/util/thread_script_state.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/thread_script_state.cpp b/src/util/thread_script_state.cpp
index 089ad45d71..c705f4fce4 100644
--- a/src/util/thread_script_state.cpp
+++ b/src/util/thread_script_state.cpp
@@ -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);
     }
 }