From 3f5bbfa0cf10e03aadab9418a47cff056158a7aa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 9 May 2017 13:40:19 -0700
Subject: [PATCH] fix(library/parray): missing lock

---
 src/library/parray.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/library/parray.h b/src/library/parray.h
index d12d36359a..e84ac3bf76 100644
--- a/src/library/parray.h
+++ b/src/library/parray.h
@@ -401,6 +401,7 @@ class parray {
         if (get_rc(c) == 1 && c->kind() == Root) {
             return c->size();
         } else if (ThreadSafe) {
+            lock_guard<mutex> lock(*c->get_mutex());
             if (c->kind() != Root)
                 reroot(c);
             return c->size();