X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Futilities%2Fset.q;h=4a603de7ad7be23800874f679b20b0701bfbd9a6;hb=97d4f38945476834fd7fce612b663f19f2b291f8;hp=b403843a1abe604c9f4d683c10e6cf542db10365;hpb=37736728bbb526a27145a757836bd8b64e8adf6f;p=pspp-builds.git

diff --git a/src/language/utilities/set.q b/src/language/utilities/set.q
index b403843a..4a603de7 100644
--- a/src/language/utilities/set.q
+++ b/src/language/utilities/set.q
@@ -110,6 +110,8 @@ int tgetnum (const char *);
      xsort=xsort:yes/no.
 */
 
+/* (headers) */
+
 /* (declarations) */
 
 /* (_functions) */