server/: Rename `TIMER' to `QUICKRAND'.

[tripe] / server / tripe.h

diff --git a/server/tripe.h b/server/tripe.h
index d419c28..9e298c8 100644 (file)
--- a/server/tripe.h
+++ b/server/tripe.h
@@ -576,7 +576,7 @@ extern unsigned tr_flags;           /* Trace options flags */
 
 /*----- Other macros ------------------------------------------------------*/
 
-#define TIMER noise_timer(RAND_GLOBAL)
+#define QUICKRAND noise_timer(RAND_GLOBAL)
 
 /*----- Key management ----------------------------------------------------*/