diff src/number-gmp.c @ 2286:04bc9d2f42c7

[xemacs-hg @ 2004-09-20 19:18:55 by james] Mark all unused parameters as unused. Also eliminate some unneeded local variables.
author james
date Mon, 20 Sep 2004 19:20:08 +0000
parents 4e6a63799f08
children ecf1ebac70d8
line wrap: on
line diff
--- a/src/number-gmp.c	Mon Sep 20 19:11:29 2004 +0000
+++ b/src/number-gmp.c	Mon Sep 20 19:20:08 2004 +0000
@@ -78,13 +78,12 @@
 
 /* We need the next two functions since GNU MP insists on giving us an extra
    parameter. */
-static void *gmp_realloc (void *ptr, size_t old_size /* unused */,
-                          size_t new_size)
+static void *gmp_realloc (void *ptr, size_t UNUSED (old_size), size_t new_size)
 {
   return xrealloc (ptr, new_size);
 }
 
-static void gmp_free (void *ptr, size_t size /* unused */)
+static void gmp_free (void *ptr, size_t UNUSED (size))
 {
   xfree (ptr, void *);
 }