From: =?utf-8?q?Fabian_Kl=C3=B6tzl?= <fabian@kloetzl.info>
Date: Mon, 9 Jul 2018 14:50:32 +0200
Subject: include random header

---
 src/patternset.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/patternset.cpp b/src/patternset.cpp
index d859c92..a910b8a 100644
--- a/src/patternset.cpp
+++ b/src/patternset.cpp
@@ -18,6 +18,7 @@
  * @author: Lars Hahn - 12.05.2016, Georg-August-Universitaet Goettingen
  * @version: 1.2.0 05/2016
  */
+#include <random>
 #include "patternset.h"
 
 
