From 9ba293d760a54eda4f2cf9773c8049a510fdbb5c Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 19 May 2020 11:56:08 +0200
Subject: [PATCH] Fixed trailing whitespace error when applying the Eigen
 patch.

---
 resources/3rdparty/patches/eigen.patch | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/3rdparty/patches/eigen.patch b/resources/3rdparty/patches/eigen.patch
index 62f8975b6..9f9535b7d 100644
--- a/resources/3rdparty/patches/eigen.patch
+++ b/resources/3rdparty/patches/eigen.patch
@@ -159,7 +159,7 @@ index a86dac93f..2ad56531c 100644
 +        if (!storm::utility::isZero(rtemp) && rtemp >= thresh) return true;
 +        return false;
 +    }
-+    
++
 +    template<typename Scalar, typename std::enable_if<!std::is_same<Scalar, double>::value, int>::type = 0>
 +    bool diagonalElementCanBePivot(Scalar const* lu_col_ptr, Index const& diag, Scalar const& diagpivotthresh, Scalar const& pivmax) {
 +        if (!storm::utility::isZero(lu_col_ptr[diag])) return true;
@@ -192,7 +192,7 @@ index a86dac93f..2ad56531c 100644
 +  Index pivptr = nsupc;
 +  Index diag = emptyIdxLU;
 +  Index icol, itemp, k;
-+  
++
 +  findLargestAbsolutePivotElement(nsupc, nsupr, lu_col_ptr, lsub_ptr, diagind, diag, pivptr, pivmax);
    
    // Test for singularity