From a4f7f09245575965284d65a7e95b2b705b8f39c7 Mon Sep 17 00:00:00 2001
From: Simon Oehrl <oehrl@vr.rwth-aachen.de>
Date: Tue, 7 May 2019 16:11:04 +0200
Subject: [PATCH] Add missing include for std::thread

---
 streaming_recording_backend.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/streaming_recording_backend.h b/streaming_recording_backend.h
index ede20e6..622bcdb 100644
--- a/streaming_recording_backend.h
+++ b/streaming_recording_backend.h
@@ -27,6 +27,7 @@
 #include <memory>
 #include <mutex>
 #include <string>
+#include <thread>
 #include <vector>
 
 #include "nest_types.h"
-- 
GitLab