From c472fc520fc30d6d19adc89bdc42817870274db2 Mon Sep 17 00:00:00 2001 From: Leo Liu Date: Fri, 12 Dec 2014 20:56:40 +0800 Subject: Two minor fixes * Fix documentation on $char for unicode * Remove duplicate declaration for erts_encode_ext_dist_header_size --- system/doc/reference_manual/data_types.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'system') diff --git a/system/doc/reference_manual/data_types.xml b/system/doc/reference_manual/data_types.xml index 37c0db5ff7..ad92143179 100644 --- a/system/doc/reference_manual/data_types.xml +++ b/system/doc/reference_manual/data_types.xml @@ -44,7 +44,8 @@ $char

- ASCII value of the character char.
+ ASCII value or unicode code-point of the character + char. base#value

Integer with the base base, which must be an -- cgit v1.2.3