From 620f95b71b1a223f7b0311b908b8f2b6bc5053f4 Mon Sep 17 00:00:00 2001
From: jcarpent <jcarpent@laas.fr>
Date: Tue, 9 Jan 2018 13:04:11 +0100
Subject: [PATCH] [Core] Remove useless include

---
 src/details.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/details.hpp b/src/details.hpp
index 6e9816e6..8beec912 100644
--- a/src/details.hpp
+++ b/src/details.hpp
@@ -30,7 +30,6 @@
 
 #include "eigenpy/eigenpy.hpp"
 #include "eigenpy/registration.hpp"
-#include "eigenpy/exception.hpp"
 #include "eigenpy/map.hpp"
 
 
-- 
GitLab