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,