From 3a3c4fe3c5effdbc3865bb380c95e05cb940614a Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Sat, 14 Nov 2020 18:49:23 +0100
Subject: [PATCH] DbU::getValueString() was truncating lambda value one decimal
 too short.

---
 hurricane/src/hurricane/DbU.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hurricane/src/hurricane/DbU.cpp b/hurricane/src/hurricane/DbU.cpp
index 2796d2d8..0198dd7d 100644
--- a/hurricane/src/hurricane/DbU.cpp
+++ b/hurricane/src/hurricane/DbU.cpp
@@ -337,7 +337,7 @@ namespace Hurricane {
     string s = os.str();
     if (_stringMode == Symbolic) {
       size_t dot = s.rfind( '.' );
-      if (dot != string::npos) s.erase( dot + 1 );
+      if (dot != string::npos) s.erase( dot + 2 );
     } else if (mode & SmartTruncate) {
       size_t dot = s.rfind( '.' );
       if (dot != string::npos) {