From 9c577d1ff8a40e821d214ce875587edfd4325f23 Mon Sep 17 00:00:00 2001
From: Stefan Weinzierl <weinzierl@uni-mainz.de>
Date: Sat, 15 Jan 2022 10:08:07 +0100
Subject: [PATCH] exam_inifcns_nstdsums.cpp: prec set to 10*pow(10,-Digits) in
 inifcns_test_HLi to avoid sporadic make check failure.

---
 check/exam_inifcns_nstdsums.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/check/exam_inifcns_nstdsums.cpp b/check/exam_inifcns_nstdsums.cpp
index c8080853..ea90c53c 100644
--- a/check/exam_inifcns_nstdsums.cpp
+++ b/check/exam_inifcns_nstdsums.cpp
@@ -128,7 +128,8 @@ static unsigned inifcns_test_HLi()
 	using GiNaC::log;
 	int digitsbuf = Digits;
 	Digits = 17;
-	ex prec = 5 * pow(10, -(ex)Digits);
+	// 15.01.2022: prec set to 10*pow(10,-Digits) to avoid exam failure in sporadic cases
+	ex prec = 10 * pow(10, -(ex)Digits);
 	numeric almostone("0.999999999999999999");
 	unsigned result = 0;
 
-- 
2.44.0