From 8d91343bf5fb3aae64d7007c13614e357bda02b4 Mon Sep 17 00:00:00 2001
From: Peter Johnson <johnson.peter@gmail.com>
Date: Fri, 24 Aug 2018 20:39:20 -0700
Subject: [PATCH] wpiutil spinlock.h: Include STL mutex for convenience (#1292)

The STL mutex header defines classes like lock_guard and unique_lock.
---
 wpiutil/src/main/native/include/wpi/spinlock.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/wpiutil/src/main/native/include/wpi/spinlock.h b/wpiutil/src/main/native/include/wpi/spinlock.h
index 6a62818b5a..73137f189e 100644
--- a/wpiutil/src/main/native/include/wpi/spinlock.h
+++ b/wpiutil/src/main/native/include/wpi/spinlock.h
@@ -9,6 +9,7 @@
 
 #include <atomic>
 #include <cassert>
+#include <mutex>
 #include <thread>
 
 #include "Compiler.h"