From a3841eeeeb1d0d11df732c560c50f5e81f768cd9 Mon Sep 17 00:00:00 2001
From: Benoit Steiner <benoit.steiner.goog@gmail.com>
Date: Mon, 22 Feb 2016 14:13:24 -0800
Subject: Upgraded to the latest version of eigen, which adds a missing
 #include Change: 115268843

---
 WORKSPACE | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'WORKSPACE')

diff --git a/WORKSPACE b/WORKSPACE
index 830301acff..ff85b315b5 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -21,8 +21,8 @@ new_http_archive(
 
 new_http_archive(
   name = "eigen_archive",
-  url = "https://bitbucket.org/eigen/eigen/get/016a6a780931.tar.gz",
-  sha256 = "b8bb6ffdecae49946a9a953979b1e33fd874f013314c16e7167fdfda048cbb77",
+  url = "https://bitbucket.org/eigen/eigen/get/fe78cbc4f8f9.tar.gz",
+  sha256 = "64bae49bca5ff76142ff9882bf736077dd4dc74b5aff8256190eec7975e04b8d",
   build_file = "eigen.BUILD",
 )
 
-- 
cgit v1.2.3