libgpuverify

commit 6b1ab235f8d80c1ef116f9624ad21910d11ff599
parent 45005e9a05c8edd3d360b4af6bc246c068479aa6
Author: Christian Grothoff <grothoff@gnunet.org>
Date:   Thu,  7 Dec 2023 00:09:23 +0900

remove duplicate NULL

Diffstat:
M
source/montgomery.cl
 | 
4
+---

1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/source/montgomery.cl b/source/montgomery.cl
@@ -201,8 +201,6 @@
 
 #define assert(x){if((x)==0){printf((char __constant *)"assert reached\n");}}
 
-#define NULL ((void*)0)
-
 typedef unsigned MINI_GMP_LIMB_TYPE mp_limb_t;
 typedef long mp_size_t;
 typedef unsigned long mp_bitcnt_t;
@@ -410,7 +408,7 @@ mpz_addmul_ui (mpz_t r, const mpz_t u, unsigned long int v);
 
 unsigned
 mpn_base_power_of_two_p (unsigned b);
-void
+
 int isspace_gpu(unsigned char c);
 int strlen_c(__global char *c);
 mp_size_t mpn_set_str_bits (mp_ptr rp, const unsigned char *sp, size_t sn,