X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Funictype%2Fpr_bidi_eur_num_separator.h;h=e39af31fb507bdb8ca5da4841cce35103cc1b9ba;hb=fc492e92429a239ba32ffe14d3236685963818a3;hp=a18c249392e9820b2a3fa0e02d9d82704da5bd41;hpb=b3bff7a868656967a8007faa831a89f3a1601eb2;p=pspp

diff --git a/lib/unictype/pr_bidi_eur_num_separator.h b/lib/unictype/pr_bidi_eur_num_separator.h
index a18c249392..e39af31fb5 100644
--- a/lib/unictype/pr_bidi_eur_num_separator.h
+++ b/lib/unictype/pr_bidi_eur_num_separator.h
@@ -1,6 +1,6 @@
 /* DO NOT EDIT! GENERATED AUTOMATICALLY! */
 /* Properties of Unicode characters.  */
-/* Generated automatically by gen-ctype.c for Unicode 5.1.0.  */
+/* Generated automatically by gen-uni-tables.c for Unicode 5.2.0.  */
 #define header_0 16
 #define header_2 9
 #define header_3 127