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

[tripe] / server / tripe.h

diff --git a/server/tripe.h b/server/tripe.h
index d419c287cf348165061ea4d21ec68a8437cda4e3..9e298c806f6749f6a0c076e92351953d09193e9f 100644 (file)
--- a/server/tripe.h
+++ b/server/tripe.h
@@ -576,7 +576,7 @@ extern unsigned tr_flags;           /* Trace options flags */
 
 /*----- Other macros ------------------------------------------------------*/
 
 
 /*----- Other macros ------------------------------------------------------*/
 

-#define TIMER noise_timer(RAND_GLOBAL)
+#define QUICKRAND noise_timer(RAND_GLOBAL)

 
 /*----- Key management ----------------------------------------------------*/
 
 
 /*----- Key management ----------------------------------------------------*/