From 55d91d5f9cdc176c771b6038948d5dacba383e34 Mon Sep 17 00:00:00 2001
From: Bhargava Shastry <bshastry@sect.tu-berlin.de>
Date: Mon, 15 Oct 2018 17:14:22 +0200
Subject: [PATCH] Bug fix: Add missing include in test/Options.h; otherwise
 compiler does not recognise the boost object that Options subclasses

---
 test/Options.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/Options.h b/test/Options.h
index 9bc698762..cbaa0dd1a 100644
--- a/test/Options.h
+++ b/test/Options.h
@@ -24,7 +24,7 @@
 #include <boost/test/unit_test.hpp>
 #include <boost/filesystem.hpp>
 #include <boost/version.hpp>
-
+#include <boost/core/noncopyable.hpp>
 #include <functional>
 
 namespace dev