From 0ccaad50e278e379b142d2a20b4fe3de6772c356 Mon Sep 17 00:00:00 2001 From: Junekey Jeon Date: Thu, 28 Mar 2024 13:39:08 -0700 Subject: [PATCH] Another missing change to conform to the major commit made recently --- subproject/common/include/random_float.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/subproject/common/include/random_float.h b/subproject/common/include/random_float.h index 118a3b4..94cf6f3 100644 --- a/subproject/common/include/random_float.h +++ b/subproject/common/include/random_float.h @@ -133,7 +133,7 @@ Float randomly_generate_float_with_given_digits(unsigned int digits, RandGen& rg using signed_int_t = std::make_signed_t; assert(digits >= 1); - assert(digits <= ieee754_traits::format::decimal_digits); + assert(digits <= conversion_traits::format::decimal_digits); // Generate sign uniformly randomly signed_int_t sign = std::uniform_int_distribution{0, 1}(rg) == 0 ? 1 : -1;