From 3d98857c136df45620aa1fb59c77f31fc30279c9 Mon Sep 17 00:00:00 2001
From: Hartmut Hafermann <soliton77@gmail.com>
Date: Thu, 20 Feb 2014 16:43:46 +0100
Subject: [PATCH] adding missing map serialization header

---
 triqs/gfs/domains/discrete.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/triqs/gfs/domains/discrete.hpp b/triqs/gfs/domains/discrete.hpp
index a4480ec1..40059fd1 100644
--- a/triqs/gfs/domains/discrete.hpp
+++ b/triqs/gfs/domains/discrete.hpp
@@ -21,6 +21,7 @@
 #pragma once
 #include "../tools.hpp"
 #include <map>
+#include <boost/serialization/map.hpp>
 namespace triqs {
 namespace gfs {