X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fversion.h;h=d2c0fe0a9ddbb49092f5f8ffaa89fa0f2dcc4a89;hb=3f159627d3b80706e58a54be2431c3edbc5333dc;hp=3465874967c6bdb752a0b5c1ba0699f0e1999b4d;hpb=480a0746507ce73d26f528b56dc3ed80195096e0;p=pspp

diff --git a/src/libpspp/version.h b/src/libpspp/version.h
index 3465874967..d2c0fe0a9d 100644
--- a/src/libpspp/version.h
+++ b/src/libpspp/version.h
@@ -44,4 +44,7 @@ extern const char include_path[];
 /* Locale directory. */
 extern const char locale_dir[];
 
+/* From the AUTHORS file */
+extern const char *const authors[];
+
 #endif /* !version_h */