From 7d184c3c4b8386bc56bcc6e87d2cc1b0fba53298 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 12 Dec 2013 14:02:17 -0800
Subject: [PATCH] fix(util/shared_mutex) missing pragma

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/shared_mutex.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/shared_mutex.h b/src/util/shared_mutex.h
index 9c98630fa..2c44fcede 100644
--- a/src/util/shared_mutex.h
+++ b/src/util/shared_mutex.h
@@ -10,6 +10,7 @@
    Hinnant. The proposal is also part of the Boost library which is
    licensed under http://www.boost.org/LICENSE_1_0.txt
 */
+#pragma once
 #include <climits>
 #include "util/thread.h"