From d108887809018b93acfb8e6ef56ecf7bb3529ebd Mon Sep 17 00:00:00 2001
From: khizmax <libcds.dev@gmail.com>
Date: Thu, 16 Apr 2015 21:37:08 +0300
Subject: [PATCH] Added missing header

---
 cds/opt/permutation.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/cds/opt/permutation.h b/cds/opt/permutation.h
index 62fe61eb..595522e6 100644
--- a/cds/opt/permutation.h
+++ b/cds/opt/permutation.h
@@ -3,9 +3,11 @@
 #ifndef CDSLIB_OPT_PERMUTATION_H
 #define CDSLIB_OPT_PERMUTATION_H
 
-#include <cds/opt/options.h>
 #include <stdlib.h> // rand, srand
 #include <random>
+#include <algorithm> // std::shuffle
+
+#include <cds/opt/options.h>
 
 namespace cds { namespace opt {
 
-- 
2.34.1