diff --git a/src/module_support.c b/src/module_support.c
index e489d6bea9e8919eb27c7b3fde104d909fd09020..29de9eb8afd6f475f6c5eb02fa047116f4538802 100644
--- a/src/module_support.c
+++ b/src/module_support.c
@@ -6,7 +6,7 @@
 #include "pike_types.h"
 #include "error.h"
 
-RCSID("$Id: module_support.c,v 1.24 1999/04/25 21:14:05 grubba Exp $");
+RCSID("$Id: module_support.c,v 1.25 1999/04/25 21:16:36 grubba Exp $");
 
 /* Checks that args_to_check arguments are OK.
  * Returns 1 if everything worked ok, zero otherwise.
@@ -282,7 +282,9 @@ int get_args(struct svalue *s,
   int ret;
   va_start(ptr, fmt);
   ret=va_get_args(s, num_args, fmt, ptr);
-  va_end((void *)fmt);
+#ifndef __TenDRA__
+  va_end(fmt);
+#endif /* !__TenDRA */
   return ret;
 }