From ae2b63ca075ddfd53190c078727b18ae723fcf08 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 22 May 2020 18:54:22 +0200
Subject: [PATCH] Eigenadapter: changed Returntype of digits10 to match the
NumTraits interface
---
src/storm/adapters/EigenAdapter.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm/adapters/EigenAdapter.h b/src/storm/adapters/EigenAdapter.h
index ef32bd163..8f7be92ee 100644
--- a/src/storm/adapters/EigenAdapter.h
+++ b/src/storm/adapters/EigenAdapter.h
@@ -52,7 +52,7 @@ namespace Eigen {
typedef storm::RationalNumber Nested;
static inline Real epsilon() { return 0; }
static inline Real dummy_precision() { return 0; }
- static inline Real digits10() { return 0; }
+ static inline int digits10() { return 0; }
enum {
IsInteger = 0,
IsSigned = 1,