From 6ed74ac97cdd2ca3e837ccfdcc36434b88c08cec Mon Sep 17 00:00:00 2001
From: Christoph Hertzberg <chtz@informatik.uni-bremen.de>
Date: Fri, 31 May 2019 15:45:41 +0200
Subject: [PATCH] digits10() needs to return an integer Problem reported on
 https://stackoverflow.com/questions/56395899 (grafted from
 56144005811e3e5a76031ba0aac8a4e1fa3e3396 )

---
 doc/CustomizingEigen_CustomScalar.dox | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/CustomizingEigen_CustomScalar.dox b/doc/CustomizingEigen_CustomScalar.dox
index 1ee78cbe5..24e5f563b 100644
--- a/doc/CustomizingEigen_CustomScalar.dox
+++ b/doc/CustomizingEigen_CustomScalar.dox
@@ -75,7 +75,7 @@ namespace Eigen {
 
     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,