Index: src/types.h |
diff --git a/src/types.h b/src/types.h |
index 99bae80e8f67d877d7161139c3c382694ab64e55..b349b6b970c9282df9bc60894edf3e5d453878c7 100644 |
--- a/src/types.h |
+++ b/src/types.h |
@@ -242,9 +242,6 @@ 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) \ |