From 1e9ed69ce2dc3bbb54d5372c2f0fa67166f599c2 Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@gmail.com>
Date: Sun, 14 May 2017 18:59:18 +0200
Subject: [PATCH] Update Armadillo branch

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 7ed0e4ab0..12918282e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -901,7 +901,7 @@ if(NOT ARMADILLO_FOUND OR ENABLE_OWN_ARMADILLO)
      message(STATUS " Armadillo has not been found.")
      message(STATUS " Armadillo will be downloaded and built automatically")
      message(STATUS " when doing 'make'. ")
-     set(armadillo_BRANCH 7.800.x)
+     set(armadillo_BRANCH 7.900.x)
      set(armadillo_RELEASE ${armadillo_BRANCH})
 
      ExternalProject_Add(