From 1fd447b451cfcae4ddf6406609f0c2fbe07b80b9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 17 Apr 2014 10:54:10 -0700
Subject: [PATCH] chore(util): fix style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/util/rb_tree.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tests/util/rb_tree.cpp b/src/tests/util/rb_tree.cpp
index f0f347777..f7c03c2ce 100644
--- a/src/tests/util/rb_tree.cpp
+++ b/src/tests/util/rb_tree.cpp
@@ -195,7 +195,7 @@ static void tst6() {
     std::vector<thread> threads;
     const unsigned STEP = 1000;
     for (unsigned i = 0; i < N; i++) {
-        threads.push_back(thread([i,&trees]() {
+        threads.push_back(thread([i, &trees]() {
                     int_rb_tree t2 = trees[i];
                     for (unsigned j = 0; j < SZ; j += STEP) {
                         t2.contains(j+i);