diff --git a/gcc/ginclude/varargs.h b/gcc/ginclude/varargs.h
index a962a2fe8be..56cb59c59f3 100644
--- a/gcc/ginclude/varargs.h
+++ b/gcc/ginclude/varargs.h
@@ -26,7 +26,7 @@
 #include "va-m88k.h"
 #else
 #ifdef __hp9000s800__
-#include "va-hp800.h"
+#include "va-pa.h"
 #else
 #ifdef __i960__
 #include "va-i960.h"