summaryrefslogtreecommitdiff
path: root/tune
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-24 08:04:25 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-24 08:04:25 +0000
commit08b80e221e3ba1a4fe09ca4cb38777d38d47468e (patch)
tree2596a69c9858c79b4937815fb623407e374ea406 /tune
parent43d13c89aa864556231e641c2921974e5987af87 (diff)
downloadmpfr-08b80e221e3ba1a4fe09ca4cb38777d38d47468e.tar.gz
re-enable assertions (patch from Patrick PĂ©lissier)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8893 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tune')
-rw-r--r--tune/tuneup.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/tune/tuneup.c b/tune/tuneup.c
index 60e9d0fea..1b3ffffda 100644
--- a/tune/tuneup.c
+++ b/tune/tuneup.c
@@ -33,8 +33,8 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
/* Undefine static assertion system */
#undef MPFR_DECL_STATIC_ASSERT
#undef MPFR_STAT_STATIC_ASSERT
-#define MPFR_DECL_STATIC_ASSERT(a)
-#define MPFR_STAT_STATIC_ASSERT(a)
+#define MPFR_DECL_STATIC_ASSERT(a) MPFR_ASSERTN(a)
+#define MPFR_STAT_STATIC_ASSERT(a) MPFR_ASSERTN(a)
int verbose;