X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcopyleft.h;h=07e0e1ea1d624af9262f1f27939b481b2e33d8f9;hb=ed7bce25787929340a3f264f00dde7c979e571a9;hp=0467aada2f85094ff737c9da1a916d53853cc76b;hpb=def7e6026513a3ee7c2b38416b30a2e890e34311;p=pspp

diff --git a/src/copyleft.h b/src/copyleft.h
index 0467aada2f..07e0e1ea1d 100644
--- a/src/copyleft.h
+++ b/src/copyleft.h
@@ -20,7 +20,8 @@
 #if !copyleft_h
 #define copyleft_h 1
 
-extern char lack_of_warranty[];
-extern char copyleft[];
+extern const char lack_of_warranty[];
+extern const char copyleft[];
+extern const char legal[];
 
 #endif