Revert previous patch; comment was OK after all.

diff --git a/src/data.c b/src/data.c
index 677791c594f9a09f121e7db0ba5bb4d4a8fed198..4bee194e296d3b46c59bf48e4939c9052f6c4c6c 100644 (file)
--- a/src/data.c
+++ b/src/data.c
@@ -3311,8 +3311,8 @@ pre_value (bool precondition, int value)
   return precondition ? value : 0;
 }
 
-/* Compute the number of trailing zero bits in VAL.  VAL must not be zero.  */
-
+/* Compute the number of trailing zero bits in val.  If val is zero,
+   return the number of bits in val.  */
 static int
 count_trailing_zero_bits (bits_word val)
 {