change vtlognames
diff --git a/include/venti.h b/include/venti.h
index 5f48ee0..1e6c809 100644
--- a/include/venti.h
+++ b/include/venti.h
@@ -73,7 +73,7 @@
 void	vtlog(char *name, char *fmt, ...);
 void	vtlogclose(VtLog*);
 void	vtlogremove(char *name);
-int	vtlognames(char***);
+char	**vtlognames(int*);
 void	vtlogdump(int fd, VtLog*);
 
 /* XXX begin actual venti.h */