From e7b40ab8fdf6ebcf197d380f055efdc1a48efafe Mon Sep 17 00:00:00 2001
From: Hans Dembinski <hans.dembinski@gmail.com>
Date: Mon, 13 Aug 2018 14:59:33 +0200
Subject: [PATCH] missing header

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

diff --git a/src/python/module.cpp b/src/python/module.cpp
index 8639b725..cd22e292 100644
--- a/src/python/module.cpp
+++ b/src/python/module.cpp
@@ -7,6 +7,7 @@
 #include <boost/python/module.hpp>
 #include <boost/python/object.hpp>
 #include <boost/python/scope.hpp>
+#include <boost/python/exception_translator.hpp>
 #include <stdexcept>
 #ifdef HAVE_NUMPY
 #include <boost/python/numpy.hpp>