fix some printfs

flintlib · Jun 27, 2023 · 9d3116a · 9d3116a
1 parent e96df9c
commit 9d3116a
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/gmpcompat.h b/src/gmpcompat.h
@@ -784,7 +784,7 @@ static __inline__
 void flint_mpz_pow_ui(mpz_ptr r, mpz_srcptr b, ulong exp)
 {
    if (exp >= (UWORD(1) << 32)) {
-      printf("Exception (flint_mpz_pow_ui). Power too large.\n");
+      flint_printf("Exception (flint_mpz_pow_ui). Power too large.\n");
       flint_abort();
    }
 
@@ -795,7 +795,7 @@ static __inline__
 void flint_mpz_fac_ui(mpz_ptr r, ulong n)
 {
    if (n >= (UWORD(1) << 32)) {
-      printf("Exception (flint_mpz_fac_ui). Value n too large.\n");
+      flint_printf("Exception (flint_mpz_fac_ui). Value n too large.\n");
       flint_abort();
    }
 
@@ -806,12 +806,12 @@ static __inline__
 void flint_mpz_bin_uiui(mpz_ptr r, ulong n, ulong k)
 {
    if (n >= (UWORD(1) << 32)) {
-      printf("Exception (flint_mpz_bin_uiui). Value n too large.\n");
+      flint_printf("Exception (flint_mpz_bin_uiui). Value n too large.\n");
       flint_abort();
    }
 
    if (k >= (UWORD(1) << 32)) {
-      printf("Exception (flint_mpz_bin_uiui). Value k too large.\n");
+      flint_printf("Exception (flint_mpz_bin_uiui). Value k too large.\n");
       flint_abort();
    }
 
@@ -822,7 +822,7 @@ static __inline__
 void flint_mpz_fib_ui(mpz_ptr r, ulong n)
 {
    if (n >= (UWORD(1) << 32)) {
-      printf("Exception (flint_mpz_fib_ui). Value n too large.\n");
+      flint_printf("Exception (flint_mpz_fib_ui). Value n too large.\n");
       flint_abort();
    }