Eigenadapter: changed Returntype of digits10 to match the NumTraits interface

5 years ago · ae2b63ca07
1 changed files with 1 additions and 1 deletions
--- 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,