| Index: src/types.h
|
| diff --git a/src/types.h b/src/types.h
|
| index b349b6b970c9282df9bc60894edf3e5d453878c7..3ea3c601cf535398baa9be65dfdc985c26fca379 100644
|
| --- a/src/types.h
|
| +++ b/src/types.h
|
| @@ -242,6 +242,9 @@ namespace internal {
|
| *
|
| * E.g., OtherUnsigned32 (OU32) covers all integers from 2^31 to 2^32-1.
|
| *
|
| + * NOTE: OtherSigned32 (OS32) and OU31 (OtherUnsigned31) are empty if SMIs are
|
| + * 32-bit wide. They should thus never be used directly, only indirectly
|
| + * via e.g. Number.
|
| */
|
|
|
| #define PROPER_BITSET_TYPE_LIST(V) \
|
|
|