diff --git a/math/givaro/files/patch-src_kernel_integer_random-integer.h b/math/givaro/files/patch-src_kernel_integer_random-integer.h
index 901ddd8ea8e3..f8c7c62f7c21 100644
--- a/math/givaro/files/patch-src_kernel_integer_random-integer.h
+++ b/math/givaro/files/patch-src_kernel_integer_random-integer.h
@@ -1,10 +1,23 @@
 --- src/kernel/integer/random-integer.h.orig	2021-12-14 10:00:03 UTC
 +++ src/kernel/integer/random-integer.h
-@@ -91,7 +91,6 @@ namespace Givaro
+@@ -11,10 +11,12 @@
+ 
+ #include "gmp++/gmp++.h"
+ 
++#if __cpp_lib_bool_constant < 201505L
+ namespace std {
+     template <bool B>
+     using bool_constant = integral_constant<bool, B>;
+ }
++#endif
+ 
+ namespace Givaro
+ {
+@@ -91,7 +93,6 @@ namespace Givaro
              if (this != &R) {
                  _bits = R._bits;
                  _integer = R._integer;
 -                const_cast<Integer_Domain&>(_ring)=R._ring;
              }
              return *this;
          }