#7112: Fix compilation warning in unicodetype_db.h
makeunicodedata now generates double literals
diff --git a/Tools/unicode/makeunicodedata.py b/Tools/unicode/makeunicodedata.py
index 92268ad..330eb2d 100644
--- a/Tools/unicode/makeunicodedata.py
+++ b/Tools/unicode/makeunicodedata.py
@@ -468,6 +468,11 @@
print >>fp, '{'
print >>fp, ' switch (ch) {'
for value, codepoints in numeric_items:
+ # Turn text into float literals
+ parts = value.split('/')
+ parts = [repr(float(part)) for part in parts]
+ value = '/'.join(parts)
+
haswide = False
hasnonewide = False
codepoints.sort()