2 files changed, 2 insertions, 5 deletions
diff --git a/assert.c b/assert.c
index 766890b6e..9f06c2807 100644
--- a/assert.c
+++ b/assert.c
@@ -26,7 +26,7 @@ MA 02111-1307, USA.
 #include "gmp-impl.h"
 
 
-int
+void
 __gmp_assert_fail (const char *filename, int linenum,
                    const char *expr)
 {
@@ -39,7 +39,4 @@ __gmp_assert_fail (const char *filename, int linenum,
 
   fprintf (stderr, "GNU MP assertion failed: %s\n", expr);
   abort();
-
-  /*NOTREACHED*/
-  return 0;
 }
diff --git a/gmp-impl.h b/gmp-impl.h
index c0459758b..261334201 100644
--- a/gmp-impl.h
+++ b/gmp-impl.h
@@ -736,7 +736,7 @@ _MPN_COPY (d, s, n) mp_ptr d; mp_srcptr s; mp_size_t n;
 #define ASSERT_FILE  ""
 #endif
 
-int __gmp_assert_fail _PROTO ((const char *filename, int linenum,
+void __gmp_assert_fail _PROTO ((const char *filename, int linenum,
                                const char *expr)) ATTRIBUTE_NORETURN;
 
 #if HAVE_STRINGIZE