From b9028a17d0ab8d523f44f771e18f67f14d8effb7 Mon Sep 17 00:00:00 2001
From: zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>
Date: Thu, 29 Oct 2015 12:29:44 +0000
Subject: more tests do work with mini-gmp (from GMP 6.1.0-rc1)

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9708 280ebfd0-de03-0410-8827-d642c229c3f4
---
 tests/tabort_defalloc1.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/tabort_defalloc1.c')

diff --git a/tests/tabort_defalloc1.c b/tests/tabort_defalloc1.c
index bac387615..2b395643e 100644
--- a/tests/tabort_defalloc1.c
+++ b/tests/tabort_defalloc1.c
@@ -30,7 +30,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
  * the error before GMP can do the abort.
  */
 
-#if !defined(MPFR_USE_MINI_GMP) && !defined(__SANITIZE_ADDRESS__)
+#if !defined(__SANITIZE_ADDRESS__)
 
 int
 main (int argc, char **argv)
-- 
cgit v1.2.1