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 --- erts/emulator/beam/external.h | 1 - system/doc/reference_manual/data_types.xml | 3 ++- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/erts/emulator/beam/external.h b/erts/emulator/beam/external.h index bf00958eb1..10565f67e5 100644 --- a/erts/emulator/beam/external.h +++ b/erts/emulator/beam/external.h @@ -156,7 +156,6 @@ void erts_init_atom_cache_map(ErtsAtomCacheMap *); void erts_reset_atom_cache_map(ErtsAtomCacheMap *); void erts_destroy_atom_cache_map(ErtsAtomCacheMap *); void erts_finalize_atom_cache_map(ErtsAtomCacheMap *, Uint32); -Uint erts_encode_ext_dist_header_size(ErtsAtomCacheMap *); Uint erts_encode_ext_dist_header_size(ErtsAtomCacheMap *); byte *erts_encode_ext_dist_header_setup(byte *, ErtsAtomCacheMap *); 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