From 0996d97482638f93c2b363ecf20b74b60adea3b7 Mon Sep 17 00:00:00 2001
From: Ben Cumming <bcumming@cscs.ch>
Date: Wed, 6 Jul 2016 11:31:38 +0200
Subject: [PATCH] fix error is  for

---
 src/util/optional.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/optional.hpp b/src/util/optional.hpp
index 11abdc55..7405f830 100644
--- a/src/util/optional.hpp
+++ b/src/util/optional.hpp
@@ -334,7 +334,7 @@ struct optional<X&>: detail::optional_base<X&> {
 
     template <
         typename Y,
-        typename = typename std::enable_if<!detail::is_optional<Y>::value>>
+        typename = typename std::enable_if<!detail::is_optional<Y>::value>::type>
     optional& operator=(Y& y) {
         set = true;
         ref() = y;
-- 
GitLab