# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1572937812 -3600
# Node ID fb759c9efd737651b60c8b2d9607a08266004523
# Parent  36c0ce0188cc5e3aac4554fb9fa39216b08bd224
fix for windows

diff -r 36c0ce0188cc -r fb759c9efd73 Core/Cache/MemoryObjectCache.h
--- a/Core/Cache/MemoryObjectCache.h	Mon Nov 04 15:58:26 2019 +0100
+++ b/Core/Cache/MemoryObjectCache.h	Tue Nov 05 08:10:12 2019 +0100
@@ -38,6 +38,7 @@
 
 #if !defined(__EMSCRIPTEN__)
 // Multithreading is not supported in WebAssembly
+#  include <boost/thread/mutex.hpp>
 #  include <boost/thread/shared_mutex.hpp>
 #endif