diff --git a/src/libvxWorks/veclist.c b/src/libvxWorks/veclist.c
index acc28fd2f..5d6584d54 100644
--- a/src/libvxWorks/veclist.c
+++ b/src/libvxWorks/veclist.c
@@ -59,8 +59,7 @@ void 	*fetch_pointer(unsigned char *);
  * veclist()
  *
  */
-veclist(all)
-int 	all;
+veclist(int all)
 {
   	int		vec;
 	int		value;
diff --git a/src/vxWorks/libvxWorks/veclist.c b/src/vxWorks/libvxWorks/veclist.c
index acc28fd2f..5d6584d54 100644
--- a/src/vxWorks/libvxWorks/veclist.c
+++ b/src/vxWorks/libvxWorks/veclist.c
@@ -59,8 +59,7 @@ void 	*fetch_pointer(unsigned char *);
  * veclist()
  *
  */
-veclist(all)
-int 	all;
+veclist(int all)
 {
   	int		vec;
 	int		value;