diff --git a/source/randLIB.c b/source/randLIB.c
index 21c6a58c3c..b75d7edae8 100644
--- a/source/randLIB.c
+++ b/source/randLIB.c
@@ -121,6 +121,8 @@ void randLIB_add_seed(uint64_t seed)
     if (state[1] == 0 && state[0] == 0) {
         state[0] = 1;
     }
+#else
+    (void)seed;
 #endif
 }