X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fversion.h;h=a89480e549cd55d1b97214085e7df61e8b25bfb9;hb=03de35c0fe7c134458408dcb32c23bba8b1bb078;hp=4ce892f9a20a6fca39430d8fb5ecb221d455d17f;hpb=da08e8b9ea6bfa772b4daec4a944279267852515;p=pspp

diff --git a/src/libpspp/version.h b/src/libpspp/version.h
index 4ce892f9a2..a89480e549 100644
--- a/src/libpspp/version.h
+++ b/src/libpspp/version.h
@@ -23,10 +23,6 @@ extern const char bare_version[];
 /* "GNU PSPP A.B.C" */
 extern const char version[];
 
-/* "GNU PSPP version A.B (date), Copyright (C) XXXX Free Software
-   Foundation, Inc." */
-extern const char stat_version[];
-
 /* Canonical name of host system type. */
 extern const char host_system[];