Minor doc extension.

diff --git a/personalities/__pdc_stdio.h b/personalities/__pdc_stdio.h
index 539d7b090ae39c872ad69d5766f69e0bda4ffded..54719ad1e5f4579d12da3e9cab39491ec3a1cb51 100644 (file)
--- a/personalities/__pdc_stdio.h
+++ b/personalities/__pdc_stdio.h
@@ -12,7 +12,7 @@
 #define FILENAME_MAX // supported length of filenames
 #define L_tmpnam     // length of filenames generated by tmpnam() including \0
 #define TMP_MAX      // number of unique filenames generateable by tmpnam(),
-                     // >= 25
+                     // during a program run; >= 25
 
 #define stderr // FILE *
 #define stdin  // FILE *