diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 08619807e90..97ddcd557dc 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Tue Sep 14 23:05:37 1999  Alexandre Oliva  <oliva@lsd.ic.unicamp.br>
+
+	* config/alpha/va_list.h (va-alpha.h): Do not include.
+	(__gnuc_va_list): Typedef as in varargs.h.
+
 Tue Sep 14 18:14:03 1999  Richard Henderson  <rth@cygnus.com>
 
 	* ggc-common.c (ggc_mark_tree): Mark DECL_SOURCE_FILE and
diff --git a/gcc/config/alpha/va_list.h b/gcc/config/alpha/va_list.h
index c9ab2b0b50e..df58ed0b5be 100644
--- a/gcc/config/alpha/va_list.h
+++ b/gcc/config/alpha/va_list.h
@@ -1,6 +1,9 @@
 /* A replacement for Digital Unix's <va_list.h>.  */
 
-#include <va-alpha.h>
+#ifndef __GNUC_VA_LIST
+#define __GNUC_VA_LIST
+typedef __builtin_va_list __gnuc_va_list;
+#endif
 
 #if !defined(_VA_LIST) && !defined(_HIDDEN_VA_LIST)
 #define _VA_LIST