From 9d3116abfca83283137a1466807ed29911d35711 Mon Sep 17 00:00:00 2001
From: Fredrik Johansson <fredrik.johansson@gmail.com>
Date: Tue, 27 Jun 2023 10:36:54 +0200
Subject: [PATCH] fix some printfs

---
 src/gmpcompat.h | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/gmpcompat.h b/src/gmpcompat.h
index a8486fdcb1..3e81698154 100644
--- 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();
    }