X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fversion.h;h=7cd8f49693456404930f934869e28837aea7b994;hb=f23b29294fe11981eca39360e9479ff25050b556;hp=b1826910d871390cae85ca894db2ac1b4210a040;hpb=d97c0f1ed2858c48173c023964cec8234b5bc831;p=pspp

diff --git a/src/libpspp/version.h b/src/libpspp/version.h
index b1826910d8..7cd8f49693 100644
--- a/src/libpspp/version.h
+++ b/src/libpspp/version.h
@@ -36,7 +36,7 @@ extern const char build_system[];
 extern const char locale_dir[];
 
 /* The Examples directory */
-extern const char const examples_dir[];
+extern const char examples_dir[];
 
 /* From the AUTHORS file */
 extern const char *const authors[];